Matemaatikud

Ajakava Fotod Raha Margid Sketch Otsima

Stephen Cole Kleene

Sünniaeg:

Sünnikoht:

Surmaaeg:

Koht surma:

5 Jan 1909

Hartford, Connecticut, USA

25 Jan 1994

Madison, Wisconsin, USA

Ettekanne
TÄHELEPANU - automaatne tõlge inglise versiooni

Stephen C Kleene õppisin oma esimese kraadi Amherst College. Ta jätkas, et saada doktorikraad Princetoni ülikoolist aastal 1934, juhendaja kiriku eest Thesis õigus teooria Positiivne täisarvude formaalne loogika. Siis Kleene õpetas Princetoni kuni astus ta Wisconsini Ülikool Madison 1935. Ta sai kogu ülikooli professor, Wisconsin Madison aastal 1948 ja jäi personaliga seal kuni ta jäi pensionile aastal 1979.

Kleene teadus oli teooria algoritmid ja rekursiivne funktsioone. Ta arendas valdkonnas recursion teooria on kirik, Gödel, Turing ja teised. Ta aitas kaasa matemaatilise intuitionismi mis oli asutatud Brouwer.

Tema töö recursion teooria aidanud anda aluse Theoretical Computer Science. Andes määramise meetodid, mille abil probleemid lahustuv, Kleene töö viinud uuringu, mille funktsioonid on võimalik välja arvutada.

Kell loeng Chicago ülikooli aastal 1995 Robert Soare kirjeldatud tema töö neid termineid:

Kleene's koostis arvutatav funktsioon kaudu kuue skeemis on üks lühike ja kasulik, ja tema eelmine töö lambda funktsioonid mänginud olulist rolli, toetades kirik 's Thesis, et need liigid langevad kokku intuitiivselt väljaarvutatavate funktsioone.

Alates 1930 's Kleene rohkem kui ükski teine matemaatik töötatud mõisteid computability ja tõhusat protsessi kõigis oma vormides nii abstraktset ja konkreetset, nii matemaatilisi ja filosoofilised. Ta pigem aluse pindala ja sealt liikuda edasi järgmisele, kuna iga järgneva ühe õide suuremaks teadusruumi tema järel.

Kleene arenenud mitmekesine array teemade computability: aritmeetiline hierarhia aste computability, arvutatav ordinatsioonikordade ja hyperarithmetic teoreetiliselt piiratud automaatide ja regulaarsete seab tohutud tagajärjed infotehnoloogia, computability kõrghariduse tüübid, rekursiivne müüdavus on intuitsionistliku aritmeetilise kaasa tagajärgi philosphy ja programmi õigsust in Computer Science.

Kleene tuntuim raamatute tutvustus Metamathematics (1952) ja matemaatika Logic (1967).

Source:School of Mathematics and Statistics University of St Andrews, Scotland