Kleene, Stephen Cole

Stephen Cole Kleene
Nimi syntyessään Englanti  Stephen Cole Kleene
Syntymäaika 5. tammikuuta 1909( 1909-01-05 ) [1] [2] [3] […]
Syntymäpaikka
Kuolinpäivämäärä 25. tammikuuta 1994( 25.1.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 ) Yhdysvaltain kansallinen tiedemitali 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

Katso myös

Muistiinpanot

  1. 1 2 3 4 5 6 7 8 9 MacTutor Matematiikan historia -arkisto
  2. 1 2 Stephen Cole Kleene // Encyclopædia Britannica 
  3. 1 2 Stephen Cole Kleene // Solomon Guggenheim -museo - 1937.
  4. Kleene Stephen Cole // Great Soviet Encyclopedia : [30 osassa] / toim. A. M. Prokhorov - 3. painos. - M .: Neuvostoliiton tietosanakirja , 1969.
  5. Matemaattinen sukututkimus  (englanniksi) - 1997.

Kirjallisuus

Linkit