Kleene, Stephen Cole
| 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.
Orosz nyelvre fordított művek
- Kleene S.K. Bevezetés a metamatematikába. - M . : Külföldi Irodalmi Kiadó , [1952] 1957.
- Kleene S. K., Vesley R. I. [Vesley RE] Az intuicionista matematika alapjai a rekurzív függvények elméletének szemszögéből. - M .: Tudomány , [1965] 1978.
- Kleene S. K. Matematikai logika. - M . : Mir , [1967] 1973.
- Klini S. K. Szabályalkalmazások cserélhetősége Gentzen LK és LJ számításában. / Idelson A. V. (szerk.), Mints G. E. (szerk.). A logikai következtetés matematikai elmélete. - M . : Nauka, 1967.
- Kleene S. K. Elméletek véges axiomatizálhatósága predikátumszámításban további predikátumszimbólumok segítségével. / Ugyanott.
Lásd még
Jegyzetek
- ↑ 1 2 3 4 5 6 7 8 9 MacTutor Matematikatörténet Archívum
- ↑ 1 2 Stephen Cole Kleene // Encyclopædia Britannica
- ↑ 1 2 Stephen Cole Kleene // Solomon Guggenheim Múzeum - 1937.
- ↑ Kleene Stephen Cole // Nagy Szovjet Enciklopédia : [30 kötetben] / szerk. A. M. Prohorov – 3. kiadás. - M .: Szovjet Enciklopédia , 1969.
- ↑ Matematikai genealógia (angol) - 1997.
Irodalom
- A. S. Kuzicsev, Z. A. Kuzicseva. Kleene // Új Filozófiai Enciklopédia : 4 kötetben / előtte. tudományos-szerk. V. S. Stepin tanácsa . — 2. kiadás, javítva. és további - M . : Gondolat , 2010. - 2816 p.
Linkek
- John J. O'Connor és Edmund F. Robertson . Kleene , Stephen Cole _
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (angol) // Életrajzi emlékek. - 1998. - 1. évf. 75 .
- Bibliográfia archiválva : 2015. szeptember 19., a Wayback Machine -nél
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| Genealógia és nekropolisz | ||||
| ||||