Stephen Cole Kleene - Stephen Cole Kleene
Stephen Kleene | |
---|---|
narozený |
Hartford, Connecticut , USA
|
5. ledna 1909
Zemřel | 25 leden 1994
Madison, Wisconsin , USA
|
(ve věku 85)
Státní příslušnost | americký |
Alma mater |
Amherst College Princetonská univerzita |
Známý jako | |
Ocenění |
Leroy P. Steele Prize (1983) National Medal of Science (1990) |
Vědecká kariéra | |
Pole | Matematika |
Instituce | University of Wisconsin – Madison |
Doktorský poradce | Kostel Alonzo |
Doktorandi |
Robert Constable Joan Moschovakis Yiannis Moschovakis Nels David Nelson Dick de Jongh |
Stephen Cole Kleene ( / k l eɪ n i / Klay -nee 5 leden, 1909 - 1925 leden, 1994) byl americký matematik . Jeden ze studentů Alonzo Church , Kleene, spolu s Rózsou Péterem , Alanem Turingem , Emilem Postem a dalšími, je nejlépe známý jako zakladatel oboru matematické logiky známé jako rekurzivní teorie , který následně pomohl poskytnout základy teoretických počítačová věda . Kleeneova práce vychází ze studia vyčíslitelných funkcí . Je po něm pojmenována řada matematických konceptů: Kleeneova hierarchie , Kleeneova algebra , Kleeneova hvězda (Kleeneovo uzavření), Kleeneova rekurzivní věta a Kleeneova věta o pevných bodech . V roce 1951 také vynalezl regulární výrazy k popisu neuronových sítí McCulloch-Pitts a významně přispěl k základům matematického intuicionismu .
Životopis
Kleene získal titul BA z Amherst College v roce 1930. Byl mu udělen titul Ph.D. z matematiky na Princetonské univerzitě v roce 1934, kde na jeho tezi s názvem Teorie pozitivních celých čísel ve formální logice dohlížel Alonzo Church . Ve třicátých letech odvedl důležitou práci na církevním lambda kalkulu . V roce 1935 nastoupil na katedru matematiky na University of Wisconsin – Madison , kde strávil téměř celou svou kariéru. Po dvou letech jako instruktor byl v roce 1937 jmenován odborným asistentem.
Jako hostující vědecký pracovník Institutu pro pokročilé studium v Princetonu v letech 1939–1940 položil základ rekurzivní teorii , což je oblast, která by byla jeho celoživotním výzkumným zájmem. V roce 1941 se vrátil na Amherst College, kde strávil rok jako docent matematiky.
Během druhé světové války , Kleene byl korvetní kapitán v námořnictvu Spojených států . Byl instruktorem navigace na Midshipmen's School of US Naval Reserve v New Yorku a poté projektovým ředitelem v Naval Research Laboratory ve Washingtonu, DC
V roce 1946 se Kleene vrátil na University of Wisconsin-Madison, kde se stal řádným profesorem v roce 1948 a profesorem matematiky Cyrus C. MacDuffee v roce 1964. Sloužil dvě funkční období jako předseda katedry matematiky a jedno funkční období jako předseda Katedra numerické analýzy (později přejmenovaná na Katedru informatiky). V letech 1969–1974 působil také jako děkan College of Letters and Science. Během let na University of Wisconsin byl diplomovým poradcem 13 Ph.D. studenti. On odešel z University of Wisconsin v roce 1979. V roce 1999 byla na jeho počest přejmenována matematická knihovna na University of Wisconsin.
Kleeneovo učení ve Wisconsinu vyústilo ve tři texty v matematické logice , Kleene (1952, 1967) a Kleene a Vesley (1965). První dva jsou často citováni a stále v tisku. Kleene (1952) napsal alternativní důkazy k Gödelovým větám o neúplnosti, které posílily jejich kanonický status a usnadnily výuku a porozumění. Kleene a Vesley (1965) jsou klasickým americkým úvodem do intuitionistické logiky a matematické matematiky .
[...] teorie rekurzivních funkcí má v informatice zásadní význam. Kleene je zodpovědný za mnoho zásadních výsledků v této oblasti, včetně Kleenovy věty o normální formě (1936), Kleeneovy rekurzivní věty (1938), vývoje aritmetických a hyperaritmetických hierarchií ve 40. a 50. letech 20. století, Kleeneova Post teorie stupňů neřešitelnosti (1954) a teorie rekurze vyššího typu. do kterého započal koncem padesátých let a ke kterému se vrátil koncem sedmdesátých let. [...] Počínaje koncem čtyřicátých let pracovala Kleene také ve druhé oblasti, Brouwerově intuicionismu. Pomocí nástrojů z rekurzní teorie zavedl rekurzivní realizovatelnost, důležitou techniku pro interpretaci intuicionistických prohlášení. V létě 1951 ve společnosti Rand Corporation vytvořil zásadní průlom ve třetí oblasti, když poskytl důležitou charakteristiku událostí přijatých konečným automatem.
Kleene působil jako prezident Asociace pro symbolickou logiku , 1956–1958 a Mezinárodní unie historie a filozofie vědy, 1961. Význam Kleeneovy práce vedl k tomu, že Daniel Clement Dennett razil rčení, publikované v roce 1978, že „Kleeneness je vedle Gödelness. “ V roce 1990 mu byla udělena Národní medaile za vědu .
Kleene a jeho manželka Nancy Elliott měli čtyři děti. Měl celoživotní oddanost rodinné farmě v Maine. Vášnivý horolezec měl velký zájem o přírodu a životní prostředí a byl aktivní v mnoha ochranářských příčinách.
Dědictví
Na každé konferenci sympozia o logice v informatice se uděluje cena Kleene na počest Stephena Cole Kleene za nejlepší studentský referát.
Vybrané publikace
- 1935. Stephen Cole Kleene (leden 1935). „Teorie pozitivních celých čísel ve formální logice. Část I“ . American Journal of Mathematics . 57 (1): 153–173. doi : 10,2307/2372027 . JSTOR 2372027 .
- 1935. Stephen Cole Kleene (duben 1935). „Teorie pozitivních celých čísel ve formální logice. Část II“ . American Journal of Mathematics . 57 (2): 219–244. doi : 10,2307/2371199 . JSTOR 2371199 .
- 1935. Stephen Cole Kleene; JB Rosser (červenec 1935). „Nekonzistence některých formálních logik“. Annals of Mathematics . 2. řada. 36 (3): 630–636. doi : 10,2307/1968646 . JSTOR 1968646 .
- 1936. „Obecné rekurzivní funkce přirozených čísel“ . Mathematische Annalen (112): 727–742. 1936.
- 1936. „ -definovatelnost a rekurzivnost“ . Duke Mathematical Journal . 2 (2): 340–352. 1936.
- 1938. „O zápisech pro pořadová čísla“ (PDF) . Journal of Symbolic Logic . 3 (4): 150–155. 1938. doi : 10,2307/2267778 . JSTOR 2267778 .
- 1943. „Rekurzivní predikáty a kvantifikátory“ . Transakce Americké matematické společnosti . 53 (1): 41–73. Ledna 1943. doi : 10,1090/S0002-9947-1943-0007371-8 .
- 1951. Kleene, Stephen Cole (15. prosince 1951). „Reprezentace událostí v nervových sítích a konečných automatech“ (PDF) . Memorandum Rand Research Research Project US Air Force (RM-704). RAND Corporation .
- 1952. Úvod do metamatematiky. New York: Van Nostrand. (Ishi Press: 2009 dotisk).
- 1956. Kleene, Stephen Cole (1956). Shannon, Claude ; McCarthy, John (eds.). Zastoupení událostí v nervových sítích a konečných automatech . Automatická studia . OCLC 564148 .
- 1965 (s Richardem Eugenem Vesleyem). Základy intuitistické matematiky . Severní Holandsko.
- 1967. Matematická logika. John Wiley & Sons . Dover dotisk, 2002. ISBN 0-486-42533-9 .
- 1981. „Počátky teorie rekurzivní funkce“ v Annals of the History of Computing 3 , č. 1.
- 1987. „Úvahy o tezi církve“ . Notre Dame Journal of Formal Logic . 28 (4): 490–498. Říjen 1987. doi : 10,1305/ndjfl/1093637645 .
Viz také
Poznámky
Reference
externí odkazy
- O'Connor, John J .; Robertson, Edmund F. , „Stephen Cole Kleene“ , MacTutor Dějiny archivu matematiky , University of St Andrews
- Životopisné monografie - Saunders Mac Lane
- Kleene bibliografie
- „Princetonská matematická komunita ve 30. letech 20. století: Přepis číslo 23 (PMC23): Stephen C. Kleene a J. Barkley Rosser“ . Archivovány od originálu dne 10. března 2015.- Rozhovor s Kleene a Johnem Barkley Rosserem o jejich zkušenostech z Princetonu
- Stephen Cole Kleene na databázovém serveru DBLP