Kleene, Stephen Cole
| Stephen Cole Kleene | |
|---|---|
| Numele la naștere | Engleză Stephen Cole Kleene |
| Data nașterii | 5 ianuarie 1909 [1] [2] [3] […] |
| Locul nașterii | |
| Data mortii | 25 ianuarie 1994 [1] [2] [3] […] (în vârstă de 85 de ani) |
| Un loc al morții | |
| Țară | |
| Sfera științifică | informatica teoretica si teoria algoritmilor |
| Loc de munca | |
| Alma Mater | |
| consilier științific | Biserica Alonzo [5] |
| Premii și premii |
Bursa Guggenheim ( 1949 )  Premiul Steele ( 1983 ) |
Stephen Cole Kleene (mai corect - Kleini , ing. Stephen Cole Kleene ; 5 ianuarie 1909 , Hartford , Connecticut , SUA - 25 ianuarie 1994 , Madison , Wisconsin , SUA) - matematician și logician american .
În 1930 a absolvit Universitatea Princeton, în 1930-1935 a predat acolo. Din 1935 la Universitatea din Wisconsin pentru Studii Avansate. În 1966–1967 a fost director al Centrului de Cercetare Matematică.
Membru al Academiei Naționale de Științe din SUA din 1969.
Lucrările sale, împreună cu lucrările lui Alonzo Church , Kurt Gödel și Alan Turing , au dat naștere unei ramuri a logicii matematice - teoria computabilității . Cunoscut și pentru inventarea expresiilor regulate . Algebra lui Kleene , asteriscul lui Kleene, teorema recursiunii lui Kleene și teorema punctului fix a lui Kleene sunt numite după el . De asemenea, a lucrat în domeniul matematicii intuiționiste a lui Brouwer . El a adus o contribuție importantă la teoria automatelor finite (vezi teorema lui Kleene ).
Kleene însuși și-a pronunțat numele de familie ca „Kleene”, o transliterație eronată a lui „Kleene” a devenit stabilită în Uniunea Sovietică în legătură cu publicarea traducerilor cărților sale sub acest nume de familie.
Printre cele mai cunoscute lucrări publicate în limba rusă se numără cărțile „Introducere în metamatematică” și „Logica matematică”.
Lucrări traduse în rusă
- Kleene S.K. Introducere în metamatematică. - M . : Editura de literatură străină , [1952] 1957.
- Kleene S. K., Vesley R. I. [Vesley RE] Fundamentele matematicii intuitioniste din punctul de vedere al teoriei functiilor recursive. - M . : Science , [1965] 1978.
- Kleene S. K. Logica matematică. - M . : Mir , [1967] 1973.
- Klini S. K. Comutabilitatea aplicațiilor regulilor în calculul lui Gentzen LK și LJ. / Idelson A. V. (ed.), Mints G. E. (ed.). Teoria matematică a inferenței logice. - M .: Nauka, 1967.
- Kleene S. K. Axiomatizabilitatea finită a teoriilor în calculul predicatelor cu ajutorul simbolurilor predicate suplimentare. / Ibid.
Vezi și
Note
- ↑ 1 2 3 4 5 6 7 8 9 Arhiva MacTutor Istoria matematicii
- ↑ 1 2 Stephen Cole Kleene // Encyclopædia Britannica
- ↑ 1 2 Stephen Cole Kleene // Muzeul Solomon Guggenheim - 1937.
- ↑ Kleene Stephen Cole // Marea Enciclopedie Sovietică : [în 30 de volume] / ed. A. M. Prokhorov - ed. a III-a. — M .: Enciclopedia sovietică , 1969.
- ↑ Genealogia matematică (engleză) - 1997.
Literatură
- A. S. Kuzichev, Z. A. Kuzicheva. Kleene // New Philosophical Encyclopedia : în 4 volume / înainte. științific-ed. sfatul lui V. S. Stepin . — Ed. a II-a, corectată. si suplimentare - M . : Gândirea , 2010. - 2816 p.
Link -uri
- John J. O'Connor și Edmund F. Robertson . Kleene , Stephen Cole _
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (engleză) // Memorii biografice. - 1998. - Vol. 75 .
- Bibliografie Arhivată la 19 septembrie 2015 la Wayback Machine
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| Genealogie și necropole | ||||
| ||||