Stephen Cole Kleene
Z Wikipedii
Stephen Cole Kleene (ur. 5 stycznia 1909 r. w Hartford w stanie Connecticut, zm. 25 stycznia 1994 r. w Madison w stanie Wisconsin) - amerykański matematyk, jeden z pionierów informatyki teoretycznej. Zasłynął z prac z teorii rekursji, opracowania koncepcji wyrażeń regularnych i teorii funkcji obliczalnych. Z jego nazwiskiem związane są takie pojęcia jak domknięcie Kleene'ego, algebra Kleene'ego, twierdzenie Kleene'ego o rekursji oraz twierdzenie Kleene'ego o punkcie stałym. Wniósł również wkład do prac intuicjonistów w matematyce.
[edytuj] Biografia
Kleene uzyskał bakalaureat w roku 1930 w koledżu Amherst. W latach 1930-1935 studiował i pracował na Uniwersytecie w Princeton, gdzie w roku 1934 obronił dysertację A Theory of Positive Integers in Formal Logic pisaną pod kierunkiem Alonzo Churcha. W roku 1935 pracował wydziele matematyki w Madison, a w roku 1937 uzyskał tytuł assistant professor.
W latach 1939 i 1940 był gościnnie wykładowcą w Institute for Advanced Study, gdzie pracował nad podstawoami teorii rekursji. W roku 1941 wrócił do Amherst, objął tam stanowisko wykładowcy matematyki.
Podczas II wojny światowej Kleene był porucznikiem w Marynarce Wojennej USA. Początkowo pracował jako instruktor nawigacji, a następnie jako kierownik w Laboratorium Badawczym Marynarki.
Po wojnie wrócił do Wisconsin, gdzie otrzymał pełny stopień profesora w roku 1948. W latach 1969-1974 był tam dziekanem kolegium literatury i nauk. W roku 1979 przeszedł na emeryturę.
W życiu prywatnym Kleene był aktywnym alpinistą. Doceniał znaczenie przyrody i aktywnie wspierał wiele akcji prowadzonych przez jej obrońców.
[edytuj] Linki zewnętrzne
- (en) John J O'Connor; Edmund F. Robertson Stephen Cole Kleene w MacTutor History of Mathematics archive
| US Open: trzeci triumf Sereny Williams |
|
Rozstawiona z numerem czwartym Serena Williams po raz trzeci wygrała wielkoszlemowy turniej US Open (z pulą nagród 20,657 mln dol.), pokonując w trwającym ponad dwie godziny finale 6:4, 7:5 Serbkę Jeleną Jankovic (nr 2.). Amerykańska tenisistka po pięciu latach przerwy powróciła na fotel liderki rankingu WTA.
|
| US Open: rewelacyjny Murray, finał nie dla Nadala! |
|
W rozgrywanym "na raty" półfinale wielkoszlemowego turnieju US Open, Brytyjczyk Andy Murray wygrał w czterech setach z faworytem spotkania Rafaelem Nadalem z Hiszpanii. Murray spotka się w finale z turniejową "dwójką", Szwajcarem Rogerem Federerem.
|
| Pekin: Hamer piÄ…ta z rekordem Polski |
|
W pierwszym dniu zawodów XIII Igrzysk Paraolimpijskich, których znicz zapłonął w sobotę na Stadionie Narodowym w Pekinie, z reprezentantów Polski najlepiej spisała się Karolina Hamer (Start Katowice). 27-letnia pływaczka zajęła piąte miejsce na dystansie 100 m stylem dowolnym ustanawiając rekord kraju wynikiem 1.59,28.
|
| Dookoła Anglii: Petacchi wygrał pierwszy etap |
|
Włoch Alessandro Petacchi z grupy LPR Brakes- Ballan wygrał pierwszy etap wyścigu kolarskiego Dookoła Anglii o długości 86,2 km na trasie w pobliżu Londynu.
|
| MÅš Superbike - Troy Bayliss liderem |
|
Australijczyk Troy Bayliss i Japończyk Ryuichi Kiyonari wygrali wyścigi jedenastej rundy motocyklowych mistrzostw świata Superbike na angielskim torze Donington. Na pozycji lidera klasyfikacji generalnej umocnił się Bayliss.
|