Stephen Cole Kleene | |
---|---|
Születési név | angol Stephen Cole Kleene |
Születési dátum | 1909. január 5. [1] [2] [3] […] |
Születési hely | |
Halál dátuma | 1994. január 25. [1] [2] [3] […] (85 éves) |
A halál helye | |
Ország | |
Tudományos szféra | elméleti számítástechnika és algoritmuselmélet |
Munkavégzés helye | |
alma Mater |
|
tudományos tanácsadója | Alonzo templom [5] |
Díjak és díjak | Guggenheim-ösztöndíj ( 1949 ) Steele-díj ( 1983 ) |
Stephen Cole Kleene (helyesebben - Kleini , eng. Stephen Cole Kleene ; 1909. január 5. , Hartford , Connecticut , USA - 1994. január 25. , Madison , Wisconsin , USA) - amerikai matematikus és logikus .
1930-ban a Princetoni Egyetemen végzett, 1930-1935 között ott tanított. 1935 óta a Wisconsini Egyetemen haladó tanulmányokért. 1966–1967-ben a Matematikai Kutatóközpont igazgatója volt.
1969 óta az Egyesült Államok Nemzeti Tudományos Akadémiájának tagja .
Munkája, Alonzo Church , Kurt Gödel és Alan Turing munkái mellett a matematikai logika egy ágát – a kiszámíthatóság elméletét – eredményezte . A reguláris kifejezések feltalálásáról is ismert . Kleene algebra, Kleene csillaga , Kleene rekurziós tétele és Kleene fixpont tétele az ő nevéhez fűződik . Dolgozott Brouwer intuicionista matematikájának területén is . Jelentősen hozzájárult a véges automaták elméletéhez (lásd Kleene tételét ).
Kleene maga is "Kleene"-nek ejtette vezetéknevét , a "Kleene" hibás átírása a Szovjetunióban honosodott meg , amikor könyveinek fordításait ezen a vezetéknéven megjelentették .
Az orosz nyelven megjelent leghíresebb művek közé tartoznak a "Bevezetés a metamatematikába" és a "Matematikai logika" című könyvek.
Tematikus oldalak | ||||
---|---|---|---|---|
Szótárak és enciklopédiák | ||||
Genealógia és nekropolisz | ||||
|