Stephen Cole Kleene - Stephen Cole Kleene

Stephen Kleene
Kleene.jpg
narozený(1909-01-05)5. ledna 1909
Hartford, Connecticut, USA
Zemřel25. ledna 1994(1994-01-25) (ve věku 85)
Madison, Wisconsin, USA
Národnostamerický
Alma materAmherst College
Univerzita Princeton
Známý jako
OceněníCena Leroye P. Steele (1983)
Národní medaile vědy (1990)
Vědecká kariéra
PoleMatematika
InstituceUniversity of Wisconsin – Madison
Doktorský poradceAlonzo Church
DoktorandiRobert Constable
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Dick de Jongh

Stephen Cole Kleene (/ˈkleɪni/ HRAJ-rozená;[A] 5. ledna 1909 - 25. ledna 1994) byl americký matematik. Jeden ze studentů Alonzo Church, Kleene, spolu s Rózsa Péter, Alan Turing, Emil Post, a další, je nejlépe známý jako zakladatel pobočky matematická logika známý jako teorie rekurze, který následně pomohl poskytnout základy teoretické počítačová věda. Kleeneova práce je základem studie vypočítatelné funkce. Řada matematických pojmů je pojmenována po něm: Kleeneova hierarchie, Kleene algebra, Kleene hvězda (Kleene uzávěr), Kleenova věta o rekurzi a Kleeneova věta o pevném bodě. On také vynalezl regulární výrazy v roce 1951 popsat McCulloch-Pittsovy neuronové sítě, a významně přispěl k založení společnosti matematický intuicionismus.

Životopis

Kleene získal titul BA od Amherst College v roce 1930. Získal titul Ph.D. v matematice od Univerzita Princeton v roce 1934. Jeho práce s názvem Teorie pozitivních celých čísel ve formální logice, byl pod dohledem Alonzo Church. Ve 30. letech odvedl důležitou práci na církevních dílech lambda kalkul. 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.

Zatímco hostující vědec v Institut pro pokročilé studium v Princetonu v letech 1939–1940 položil základ teorie rekurze, 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 jeden rok docentem matematiky.

V době druhá světová válka, Kleene byl velitel poručíka v Námořnictvo Spojených států. Byl instruktorem navigace ve Střední škole americké námořní rezervy v New York, a poté ředitel projektu v Naval Research Laboratory v Washington DC.

V roce 1946 se Kleene vrátil do Wisconsin, řádným profesorem se stal v roce 1948 a profesorem matematiky Cyrus C. MacDuffee v roce 1964. Předsedal katedře matematiky a informatiky v letech 1962–1963 a Děkan College of Letters and Science od roku 1969 do roku 1974. Druhé jmenování se ujal navzdory značným studentským nepokojům dne, vyplývajícím z vietnamská válka. V roce 1979 odešel z University of Wisconsin. V roce 1999 byla na jeho počest přejmenována matematická knihovna na University of Wisconsin.[3]

Kleeneova výuka ve Wisconsinu vyústila ve tři texty matematická logika Kleene (1952, 1967) a Kleene a Vesley (1965). První dva jsou často citovány a stále jsou v tisku. Kleene (1952) napsal alternativní důkazy Gödelovy věty o neúplnosti což zlepšilo jejich kanonický status a usnadnilo jim to výuku a porozumění. Kleene and Vesley (1965) je klasický americký úvod do intuiční logika a matematika.

[…] Teorie rekurzivních funkcí má ve výpočetní technice zásadní význam. Kleene je zodpovědný za mnoho základních výsledků v této oblasti, včetně Kleeneovy 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, Kleene- Post teorie stupňů neřešitelnosti (1954) a teorie rekurze vyššího typu. ke kterému začal na konci 50. let a do kterého se vrátil na konci 70. let. […] Počátkem konce 40. let pracoval Kleene také v druhé oblasti, Brouwerově intuici. Pomocí nástrojů z teorie rekurze představil rekurzivní realizovatelnost, důležitou techniku ​​interpretace intuicionistických výroků. V létě 1951 u Rand Corporation, přinesl zásadní průlom ve třetí oblasti, když poskytl důležitou charakteristiku událostí přijímaných konečným automatem.[4]

Kleene sloužil jako prezident Sdružení pro symbolickou logiku, 1956–1958, a Mezinárodní unie historie a filozofie vědy,[5] 1961. Důležitost Kleeneovy práce vedla k Daniel Clement Dennett razí rčení, publikované v roce 1978, že „Kleeneness je vedle Gödelness.“[6] V roce 1990 mu byla udělena Národní medaile vědy.

Kleene a jeho manželka Nancy Elliottová měli čtyři děti. Měl celoživotní oddanost rodinné farmě v Maine. Vášnivý horolezec měl o něj velký zájem Příroda a životní prostředí, a byl aktivní v mnoha zachování příčiny.

Dědictví

Na každé konferenci Symposium on Logic in Computer Science the Cena Kleene, na počest Stephena Colea Kleena, je uveden za nejlepší studentskou práci.[7]

Vybrané publikace

Viz také

Poznámky

  1. ^ Ačkoli jeho příjmení je běžně vyslovováno /ˈkliːni/ KLEE-rozená nebo /kliːn/ KLEEN, Vyslovil to sám Kleene /ˈkleɪni/ HRAJ-rozená.[1] Jeho syn Ken Kleene napsal: „Pokud vím, tato výslovnost je ve všech známých jazycích nesprávná. Věřím, že tuto novou výslovnost vynalezl můj otec.“[2]

Reference

  1. ^ Pace, Eric (27. ledna 1994). „Stephen C. Kleene je ve věku 85 let mrtvý; byl lídrem v informatice“. The New York Times.
  2. ^ v Záznam „Stephen Kleene“ na Zdarma online slovník výpočetní techniky.
  3. ^ „About S. C. Kleene“. University of Wisconsin - Madisonské knihovny. Citováno 23. dubna 2016.
  4. ^ Keisler, H. Jerome (Září 1994). „Stephen Cole Kleene 1909–1994“. Oznámení AMS. 41 (7): 792.
  5. ^ Web IUHPS; také známý jako „Mezinárodní svaz dějin a filozofie vědy“. Člen ICSU, Mezinárodní rada pro vědu (dříve pojmenovaný Mezinárodní rada vědeckých odborů).
  6. ^ Daniel Clement Dennett a Karel Lambert, "kleene", v Filozofický lexikon, 7. vyd. (Newark, DE: American Philosophical Association, 1978), 5; a Hyperborea (pseudonym bloggera), „Dennettův logocentrický lexikon“ (9. prosince 2007): http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
  7. ^ http://lics.siglog.org/archive/kleene-award.html
  8. ^ WorldCat: edice pro „Úvod do metamatematiky“.. OCLC  523942.
  9. ^ Bishop, Errett (1965). "Posouzení: Základy intuicionistické matematiky, Stephen Cole Kleene a Richard Eugene Vesley ". Bulletin of the American Mathematical Society. 71 (6): 850–852. doi:10.1090 / s0002-9904-1965-11412-4.

externí odkazy