| 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.
|  | | Web dokumentumok |