Stephen Cole Kleene - Stephen Cole Kleene

Stephen Kleene
Kleene.jpg
Syntynyt ( 1909-01-05 )5. tammikuuta 1909
Hartford, Connecticut , Yhdysvallat
Kuollut 25. tammikuuta 1994 (1994-01-25)(85 -vuotias)
Madison, Wisconsin , Yhdysvallat
Kansalaisuus amerikkalainen
Alma mater Amherst College
Princetonin yliopisto
Tunnettu
 
Palkinnot Leroy P.Steele -palkinto (1983)
National Medal of Science (1990)
Tieteellinen ura
Kentät Matematiikka
Toimielimet Wisconsinin yliopisto - Madison
Tohtorin neuvonantaja Alonzon kirkko
Tohtorikoulutettavat Robert Constable
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Dick de Jongh

Stephen Cole Kleene ( / k l eɪ n i / Klay -nee , päivänä tammikuuta 5, 1909 - tammikuu 25, 1994) oli amerikkalainen matemaatikko . Yksi Alonzon kirkon oppilaista , Kleene, yhdessä Rózsa Péterin , Alan Turingin , Emil Postin ja muiden kanssa tunnetaan parhaiten matemaattisen logiikan haaran, joka tunnetaan rekursioteoriana , perustajana , joka myöhemmin auttoi luomaan teoreettisen perustan tietojenkäsittelytiede . Klenen työ perustelee laskettavien toimintojen tutkimista . Hänen mukaansa on nimetty useita matemaattisia käsitteitä: Kleene-hierarkia , Kleene-algebra , Kleene-tähti (Kleene-sulkeminen), Klenen rekursioteoreemi ja Klenen kiinteän pisteen lause . Hän keksi myös säännölliset lausekkeet vuonna 1951 kuvaamaan McCulloch-Pittsin hermoverkkoja ja auttoi merkittävästi matemaattisen intuition perustassa .

Elämäkerta

Kleene sai BA -tutkinnon Amherst Collegesta vuonna 1930. Hänelle myönnettiin tohtorin tutkinto. matematiikasta Princetonin yliopistosta vuonna 1934, missä hänen opinnäytetyötään nimeltä A Theory of Positive Integers in Formal Logic valvoi Alonzo Church . 1930 -luvulla hän teki tärkeää työtä kirkon lambda -laskennan parissa . Vuonna 1935 hän liittyi Wisconsin -Madisonin yliopiston matematiikan osastoon , jossa hän vietti lähes koko uransa. Kahden opettajavuoden jälkeen hänet nimitettiin apulaisprofessoriksi vuonna 1937.

Vierailevana tutkijana Princetonin Advanced Study -instituutissa vuosina 1939–1940 hän loi perustan rekursioteorialle , joka olisi hänen elinikäinen tutkimusintressinsä. Vuonna 1941 hän palasi Amherst Collegeen, jossa hän vietti yhden vuoden matematiikan apulaisprofessorina.

Aikana toisen maailmansodan , Kleenen oli luutnantti komentaja on Yhdysvaltain laivaston . Hän oli ohjaaja navigointitehtävissä US Naval Reserve midshipmen School in New Yorkissa , ja sitten projektin johtaja on Naval Research Laboratory vuonna Washington, DC

Vuonna 1946 Kleene palasi Wisconsin-Madisonin yliopistoon, josta tuli varsinainen professori vuonna 1948 ja matematiikan professori Cyrus C.MacDuffee. numeerisen analyysin osasto (myöhemmin nimetty tietojenkäsittelytieteen osasto). Hän toimi myös kirjallisuuden ja tieteen korkeakoulun dekaanina vuosina 1969–1974. Vuosiensa aikana Wisconsinin yliopistossa hän oli opinnäytetyön neuvonantaja 13 tohtorille. opiskelijat. Hän jäi eläkkeelle Wisconsinin yliopistosta vuonna 1979. Vuonna 1999 Wisconsinin yliopiston matematiikkakirjasto nimettiin uudelleen hänen kunniakseen.

Kleenen opetus Wisconsinissa johti kolmeen matemaattisen logiikan tekstiin , Kleene (1952, 1967) ja Kleene ja Vesley (1965). Kaksi ensimmäistä mainitaan usein ja ovat edelleen painettuna. Kleene (1952) kirjoitti vaihtoehtoisia todisteita Gödelin epätäydellisyyden lauseille, jotka paransivat heidän kanonista asemaansa ja helpottivat niiden opettamista ja ymmärtämistä. Kleene ja Vesley (1965) on klassinen amerikkalainen johdanto intuitionistiseen logiikkaan ja matemaattiseen matematiikkaan .

[...] rekursiivinen funktioteoria on keskeinen tietotekniikassa. Kleene on vastuussa monista alueen perustuloksista, mukaan lukien Kleene-normaalimuodon lause (1936), Kleene-rekursiivinen lause (1938), aritmeettisten ja hyper-aritmeettisten hierarkioiden kehittäminen 1940- ja 1950-luvuilla, Kleene- Jälkiteoria ratkaisemattomuusasteista (1954) ja korkeamman tyyppinen rekursioteoria. jonka hän aloitti 1950 -luvun lopulla ja palasi 1970 -luvun lopulla. [...] 1940 -luvun lopulta lähtien Kleene työskenteli myös toisella alalla, Brouwerin intuitiossa. Käyttämällä rekursioteorian työkaluja hän esitteli rekursiivisen toteutettavuuden, tärkeän tekniikan intuitiivisten lausuntojen tulkitsemiseksi. Kesällä 1951 Rand Corporationissa hän tuotti merkittävän läpimurron kolmannella alueella, kun hän kuvaili äärellisen automaatin hyväksymiä tapahtumia.

Kleene toimi Symbolisen logiikan yhdistyksen ( 1956–1958) ja Kansainvälisen historian ja tieteen filosofian liiton (1961) presidenttinä. Kleenen työn tärkeys johti siihen, että Daniel Clement Dennett keksi vuonna 1978 julkaistun sanonnan, että "Kleeneness on Gödelnessin vieressä. " Vuonna 1990 hänelle myönnettiin kansallinen tiedemitali .

Kleene ja hänen vaimonsa Nancy Elliott saivat neljä lasta. Hänellä oli elinikäinen omistautuminen perhemaatilalle Mainen osavaltiossa. Hän oli innokas vuorikiipeilijä, hän oli erittäin kiinnostunut luonnosta ja ympäristöstä ja oli aktiivinen monissa suojelutarkoituksissa .

Legacy

Kussakin konferenssi symposiumin Logiikka tietotekniikassa Kleenen palkinnon kunniaksi Stephen Cole Kleene, annetaan paras oppilas paperia.

Valitut julkaisut

Katso myös

Huomautuksia

Viitteet

Ulkoiset linkit