Stephen Cole Kleene
americký matematik a logik / From Wikipedia, the free encyclopedia
Stephen Cole Kleene (5. ledna 1909, Hartford – 25. ledna 1994, Madison) byl americký matematik a logik, který svou prací pomohl položit základy matematické informatiky.
Stephen Cole Kleene | |
---|---|
Rodné jméno | Stephen Cole Kleene |
Narození | 5. ledna 1909 Hartford |
Úmrtí | 25. ledna 1994 (ve věku 85 let) Madison |
Alma mater | Amherst College (do 1930) Princetonská univerzita (1930–1934) |
Povolání | matematik, informatik, filozof a vysokoškolský učitel |
Zaměstnavatelé | Princetonská univerzita (1934–1935) Wisconsinská univerzita v Madisonu (1935–1941) Amherst College (1941–1942) Námořnictvo Spojených států amerických (1942–1946) Wisconsinská univerzita v Madisonu (1946–1979) |
Ocenění | Guggenheimovo stipendium (1949) Cena Leroye P. Steeleho (1983) Národní vyznamenání za vědu (1990) |
Některá data mohou pocházet z datové položky. |
Spolu s Alonzo Churchem, Alanem Turingem, Emilem Postem či Kurtem Gödelem je považován za zakladatele specifické větve matematické logiky, a to tzv. teorie rekurzivních funkcí. Obzvláště významná je jeho práce v teorii vyčíslitelnosti. Je po něm pojmenovaných několik matematických konceptů, např. Kleeneho hierarchie, Kleeneho algebra, nebo Kleeneho hvězdička (také nazývána iterace nebo Kleeneho uzávěr) a s ní úzce související Kleeneho plus (kladná iterace). Také vynalezl regulární výrazy a spolu s Alonzo Churchem i lambda kalkul. Jeho jméno nesou i Kleeneho s-m-n věta a Kleeneho-Rosserův paradox. Byl také průkopníkem intuicionizmu.
Správná výslovnost jména Kleene je / kleɪni ː / (jako anglické "clay-knee"), ne / kli ː ni ː / nebo / kli ː n /. Jeho syn, Ken Kleene k tomu řekl:
„ | Pokud je mi známo, tato výslovnost je nesprávná ve všech existujících jazycích. Podle mě tuto novátorskou výslovnost vynalezl můj otec. | “ |