Kleene, Stephen Cole
| Stephen Cole Kleene | |
|---|---|
| Namn vid födseln | engelsk Stephen Cole Kleene |
| Födelsedatum | 5 januari 1909 [1] [2] [3] […] |
| Födelseort | |
| Dödsdatum | 25 januari 1994 [1] [2] [3] […] (85 år) |
| En plats för döden | |
| Land | |
| Vetenskaplig sfär | teoretisk datavetenskap och teori om algoritmer |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | Alonzo-kyrkan [5] |
| Utmärkelser och priser |
Guggenheim Fellowship ( 1949 )  Steele Prize ( 1983 ) |
Stephen Cole Kleene (mer korrekt - Kleini , eng. Stephen Cole Kleene ; 5 januari 1909 , Hartford , Connecticut , USA - 25 januari 1994 , Madison , Wisconsin , USA) - amerikansk matematiker och logiker .
1930 tog han examen från Princeton University, 1930-1935 undervisade han där. Sedan 1935 vid University of Wisconsin for Advanced Studies. 1966–1967 var han chef för Matematisk forskningscentrum.
Medlem av US National Academy of Sciences sedan 1969.
Hans arbete, tillsammans med arbetet av Alonzo Church , Kurt Gödel och Alan Turing , gav upphov till en gren av matematisk logik - teorin om beräkningsbarhet . Även känd för att uppfinna reguljära uttryck . Kleenes algebra, Kleenes asterisk , Kleenes rekursionsteorem och Kleenes fixpunktsats är uppkallade efter honom . Han arbetade också inom Brouwers intuitionistiska matematik . Han gjorde ett viktigt bidrag till teorin om finita automater (se Kleenes sats ).
Kleene själv uttalade sitt efternamn som "Kleene", en felaktig translitteration av "Kleene" etablerades i Sovjetunionen i samband med publiceringen av översättningar av hans böcker under detta efternamn.
Bland de mest kända verk som publicerats på ryska är böckerna "Introduktion till metamatematik" och "matematisk logik".
Verk översatta till ryska
- Kleene S.K. Introduktion till metamatematik. - M . : Förlag för utländsk litteratur , [1952] 1957.
- Kleene S. K., Vesley R. I. [Vesley RE] Grunderna för intuitionistisk matematik utifrån teorin om rekursiva funktioner. - M . : Science , [1965] 1978.
- Kleene S. K. Matematisk logik. - M . : Mir , [1967] 1973.
- Klini S. K. Föränderlighet av regeltillämpningar i Gentzens kalkyl LK och LJ. / Idelson A. V. (red.), Mints G. E. (red.). Matematisk teori för logisk slutledning. - M . : Nauka, 1967.
- Kleene S. K. Finit axiomatiserbarhet av teorier i predikatkalkyl med hjälp av ytterligare predikatsymboler. / Ibid.
Se även
Anteckningar
- ↑ 1 2 3 4 5 6 7 8 9 MacTutor History of Mathematics Archive
- ↑ 1 2 Stephen Cole Kleene // Encyclopædia Britannica
- ↑ 1 2 Stephen Cole Kleene // Solomon Guggenheim Museum - 1937.
- ↑ Kleene Stephen Cole // Great Soviet Encyclopedia : [i 30 volymer] / ed. A. M. Prokhorov - 3:e uppl. — M .: Soviet Encyclopedia , 1969.
- ↑ Mathematical Genealogy (engelska) - 1997.
Litteratur
- A. S. Kuzichev, Z. A. Kuzicheva. Kleene // New Philosophical Encyclopedia : i 4 volymer / före. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M . : Tanke , 2010. - 2816 sid.
Länkar
- John J. O'Connor och Edmund F. Robertson . Kleene , Stephen Cole _
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (engelska) // Biografiska memoarer. - 1998. - Vol. 75 .
- Bibliografi Arkiverad 19 september 2015 på Wayback Machine
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| Släktforskning och nekropol | ||||
| ||||