Kleene, Stephen Cole
| Stephen Cole Kleene | |
|---|---|
| Nimi syntyessään | Englanti Stephen Cole Kleene |
| Syntymäaika | 5. tammikuuta 1909 [1] [2] [3] […] |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 25. tammikuuta 1994 [1] [2] [3] […] (85-vuotias) |
| Kuoleman paikka | |
| Maa | |
| Tieteellinen ala | teoreettinen tietojenkäsittelytiede ja algoritmien teoria |
| Työpaikka | |
| Alma mater | |
| tieteellinen neuvonantaja | Alonzon kirkko [5] |
| Palkinnot ja palkinnot |
Guggenheim Fellowship ( 1949 )  Steele -palkinto ( 1983 ) |
Stephen Cole Kleene (oikein - Kleini , eng. Stephen Cole Kleene ; 5. tammikuuta 1909 , Hartford , Connecticut , USA - 25. tammikuuta 1994 , Madison , Wisconsin , USA) - amerikkalainen matemaatikko ja loogikko .
Vuonna 1930 hän valmistui Princetonin yliopistosta, vuosina 1930-1935 hän opetti siellä. Vuodesta 1935 Wisconsinin yliopistossa jatko-opiskelijoille. Vuosina 1966–1967 hän oli Matemaattisen tutkimuskeskuksen johtaja.
Yhdysvaltain kansallisen tiedeakatemian jäsen vuodesta 1969.
Hänen työnsä sekä Alonzo Churchin , Kurt Gödelin ja Alan Turingin työt synnyttivät matemaattisen logiikan haaran - laskettavuuden teorian . Tunnetaan myös säännöllisten lausekkeiden keksimisestä . Kleenen algebra, Kleenen tähti , Kleenen rekursiolause ja Kleenen kiinteän pisteen lause on nimetty hänen mukaansa . Hän työskenteli myös Brouwerin intuitionistisen matematiikan parissa . Hän antoi tärkeän panoksen äärellisten automaattien teoriaan (katso Kleenen lause ).
Kleene itse lausui sukunimensä "Kleene", virheellinen "Kleenen" translitterointi vakiintui Neuvostoliitossa hänen kirjojensa käännösten julkaisemisen yhteydessä tällä sukunimellä.
Tunnetuimpia venäjäksi julkaistuja teoksia ovat kirjat "Johdatus metamatematiikkaan" ja "Matemaattinen logiikka".
Teokset käännetty venäjäksi
- Kleene S.K. Johdatus metamatematiikkaan. - M . : Ulkomaisen kirjallisuuden kustantamo , [1952] 1957.
- Kleene S. K., Vesley R. I. [Vesley RE] Intuitionistisen matematiikan perusteet rekursiivisten funktioiden teorian näkökulmasta. - M .: Science , [1965] 1978.
- Kleene S.K. Matemaattinen logiikka. - M .: Mir , [1967] 1973.
- Klini S. K. Sääntösovellusten kommutoitavuus Gentzenin laskennassa LK ja LJ. / Idelson A. V. (toim.), Mints G. E. (toim.). Loogisen päättelyn matemaattinen teoria. - M . : Nauka, 1967.
- Kleene S. K. Teorioiden rajallinen aksiomatisoitavuus predikaattilaskennassa lisäpredikaattisymbolien avulla. /Ibid.
Katso myös
Muistiinpanot
- ↑ 1 2 3 4 5 6 7 8 9 MacTutor Matematiikan historia -arkisto
- ↑ 1 2 Stephen Cole Kleene // Encyclopædia Britannica
- ↑ 1 2 Stephen Cole Kleene // Solomon Guggenheim -museo - 1937.
- ↑ Kleene Stephen Cole // Great Soviet Encyclopedia : [30 osassa] / toim. A. M. Prokhorov - 3. painos. - M .: Neuvostoliiton tietosanakirja , 1969.
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
Kirjallisuus
- A.S. Kuzichev, Z.A. Kuzicheva. Kleene // New Philosophical Encyclopedia : 4 osassa / ennen. tieteellinen toim. V. S. Stepinin neuvo . — 2. painos, korjattu. ja ylimääräistä - M . : Ajatus , 2010. - 2816 s.
Linkit
- John J. O'Connor ja Edmund F. Robertson . Kleene , Stephen Cole _
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (englanniksi) // Elämäkerralliset muistelmat. - 1998. - Voi. 75 .
- Bibliografia arkistoitu 19. syyskuuta 2015 Wayback Machinessa
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| Sukututkimus ja nekropolis | ||||
| ||||