Stephen Cole Kleene - Stephen Cole Kleene

Stephen Kleene
Kleene.jpg
narozený ( 1909-01-05 )5. ledna 1909
Hartford, Connecticut , USA
Zemřel 25 leden 1994 (1994-01-25)(ve věku 85)
Madison, Wisconsin , USA
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

Viz také

Poznámky

Reference

externí odkazy