História Tudósnaptár
História - Tudósnaptár
Kattintson!
H K Sz Cs P Sz V
     1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
Előzetes   Emlékeztető   Javaslatok?   Olvass el! NEW!

A,Á B C CS D E,É F G GY H I,Í J K L M N O,Ó Ö,Ő P Q R S SZ T U,Ú V W X Y Z ZS  ^    Név:  
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

 

  KFKI Home >  História - Tudósnaptár Copyright info