Kleene, Stephen Cole
Hartford, Connecticut, USA, 1909. jan. 5. – Madison, Wisconsin, 1994. jan. 25.
Amerikai matematikus
Az elméleti számítástudomány egyik megalapozója. Az Amherst College-ben tanult, majd Princetonban szerzett doktori fokozatot Alonzo Church irányítása alatt. Fontos eredményeket ért el a Church-féle lambda-kalkulussal kapcsolatban. 1935-től kezdve a Wisconsin-Madison egyetemen oktatott, rövid megszakításoktól eltekintve teljes pályafutása alatt, 1945-től professzorként. A 2. világháború alatt a tengerészetnél szolgált kapitányi rangban, a Naval Research Laboratory-ban (Washington, D.C.). Jelentősen hozzájárult a rekurzív függvények, a kiszámíthatóság elméletéhez. Újabb fontos bizonyításokat adott Gödel nemteljességi tételeire. Számos matematikai fogalmat vezetett be, melyek nevét viselik: Kleene-hierarchia, Kleene-algebra, Kleene-csillag, Kleene rekurziós tétele, stb. Több tudományos társaság elnöke volt.
| [1] | Matematikai logika története | Wikipédia |
| [2] | Csirik János, Horváth Gyula: A szegedi iskoláról | SZTE Informatika Történeti Múzeum Alapítvány |
| [5] | Számítógép-tudomány | Wikipédia |
| [6] | Stephen Cole Kleene | The MacTutor History of Mathematics archive - angol |
| [7] | Kleene's s-m-n Theorem | Wolfram MathWorld - angol |
| [8] | Kleene's Recursion Theorem | Wolfram MathWorld - angol |
| [9] | Saunders Mac Lane: Stephen Cole Kleene | Biographical Memoirs - National Academy of Sciences - angol - PDF |
| [10] | Stephen Cole Kleene | Chronicle of Mathematical People - angol - PDF |
| [11] | Kleene algebra | PlanetMath - angol |
| [12] | Kleene star | PlanetMath - angol |
| [13] | Stephen Cole Kleene | Wikipedia - angol |
| [14] | Kleene star | Wikipedia - angol |
| [15] | Arithmetical hierarchy | Wikipedia - angol |
| [16] | Kleene's s-m-n Theorem | Wikipedia - angol |
| [17] | Kleene-Rosser paradox | Wikipedia - angol |
| [18] | Kleene algebra | Wikipedia - angol |