Stephen Cole Kleene
![]() Stephen Cole Kleene w 1979 | |
Data i miejsce urodzenia |
5 stycznia 1909 |
---|---|
Data i miejsce śmierci |
25 stycznia 1994 |
Zawód, zajęcie |
Stephen Cole Kleene (ur. 5 stycznia 1909 w Hartford w stanie Connecticut, zm. 25 stycznia 1994 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.
Życiorys
[edytuj | edytuj kod]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. Od roku 1935 pracował na wydziale matematyki uniwersytetu Wisconsin-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 podstawami 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.
Linki zewnętrzne
[edytuj | edytuj kod]John J. O'Connor; Edmund F. Robertson: Stephen Cole Kleene w MacTutor History of Mathematics archive (ang.)
- ISNI: 0000000114711821
- VIAF: 41901318
- LCCN: n79106427
- GND: 136329632
- NDL: 00445849
- LIBRIS: gdsvw5900d3krs9
- BnF: 12281199v
- SUDOC: 031634052
- SBN: RAVV071503
- NKC: jx20061215011
- NTA: 068466587
- BIBSYS: 90708278
- CiNii: DA01672795
- Open Library: OL2709233A
- PLWABN: 9810556696505606, 9810668100205606
- NUKAT: n00715007
- J9U: 987007263900105171
- LNB: 000049297
- NSK: 000387811
- CONOR: 48020579
- LIH: LNB:BRZU;=Bf