Kleene, Stephen Cole
| Stephen Cole Kleene | |
|---|---|
| Jméno při narození | Angličtina Stephen Cole Kleene |
| Datum narození | 5. ledna 1909 [1] [2] [3] […] |
| Místo narození | |
| Datum úmrtí | 25. ledna 1994 [1] [2] [3] […] (ve věku 85 let) |
| Místo smrti | |
| Země | |
| Vědecká sféra | teoretická informatika a teorie algoritmů |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | kostel Alonzo [5] |
| Ocenění a ceny |
Guggenheimovo společenství ( 1949 )  Steeleova cena ( 1983 ) |
Stephen Cole Kleene (správněji - Kleini , eng. Stephen Cole Kleene ; 5. ledna 1909 , Hartford , Connecticut , USA - 25. ledna 1994 , Madison , Wisconsin , USA) - americký matematik a logik .
V roce 1930 absolvoval Princetonskou univerzitu, v letech 1930-1935 zde vyučoval. Od roku 1935 na University of Wisconsin pro pokročilá studia. V letech 1966–1967 byl ředitelem Centra matematického výzkumu.
Člen Národní akademie věd USA od roku 1969.
Jeho práce spolu s prací Alonza Churche , Kurta Gödela a Alana Turinga dala vzniknout odvětví matematické logiky – teorii vyčíslitelnosti . Také známý pro vynalézání regulárních výrazů . Kleenova algebra, Kleenova hvězdička , Kleenova věta o rekurzi a Kleenova věta o pevném bodě jsou pojmenovány po něm . Pracoval také v oblasti Brouwerovy intuicionistické matematiky . Udělal důležitý příspěvek k teorii konečných automatů (viz Kleeneův teorém ).
Kleene sám vyslovoval své příjmení jako „Kleene“, chybný přepis „Kleene“ se v Sovětském svazu ustálil v souvislosti s vydáváním překladů jeho knih pod tímto příjmením.
Mezi nejznámější díla vydaná v ruštině patří knihy „Úvod do metamatematiky“ a „Matematická logika“.
Díla přeložená do ruštiny
- Kleene S.K. Úvod do metamatematiky. - M .: Nakladatelství zahraniční literatury , [1952] 1957.
- Kleene S. K., Vesley R. I. [Vesley RE] Základy intuicionistické matematiky z pohledu teorie rekurzivních funkcí. - M .: Science , [1965] 1978.
- Kleene S. K. Matematická logika. - M .: Mir , [1967] 1973.
- Klini S. K. Zaměnitelnost aplikací pravidel v Gentzenově kalkulu LK a LJ. / Idelson A. V. (ed.), Mincovny G. E. (ed.). Matematická teorie logické inference. - M .: Nauka, 1967.
- Kleene S. K. Konečná axiomatizovatelnost teorií v predikátovém počtu pomocí přídavných predikátových symbolů. / Tamtéž.
Viz také
Poznámky
- ↑ 1 2 3 4 5 6 7 8 9 Archiv historie matematiky MacTutor
- ↑ 1 2 Stephen Cole Kleene // Encyclopædia Britannica
- ↑ 1 2 Stephen Cole Kleene // Muzeum Solomona Guggenheima - 1937.
- ↑ Kleene Stephen Cole // Velká sovětská encyklopedie : [ve 30 svazcích] / ed. A. M. Prochorov - 3. vyd. — M .: Sovětská encyklopedie , 1969.
- ↑ Matematická genealogie (anglicky) - 1997.
Literatura
- A. S. Kuzichev, Z. A. Kuzicheva. Kleene // Nová filozofická encyklopedie : ve 4 svazcích / dříve. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M . : Myšlenka , 2010. - 2816 s.
Odkazy
- John J. O'Connor a Edmund F. Robertson . Kleene , Stephen Cole_ _
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (anglicky) // Biografické paměti. - 1998. - Sv. 75 .
- Bibliografie archivována 19. září 2015 na Wayback Machine
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| Genealogie a nekropole | ||||
| ||||