Stephen Cole Kleene

Stephen Cole Kleene
Rodné jméno	Stephen Cole Kleene
Narození	5. ledna 1909 Hartford
Úmrtí	25. ledna 1994 (ve věku 85 let) Madison
Alma mater	Amherst College (do 1930) Princetonská univerzita (1930–1934)
Povolání	matematik, informatik, filozof a vysokoškolský učitel
Zaměstnavatelé	Princetonská univerzita (1934–1935) Wisconsinská univerzita v Madisonu (1935–1941) Amherst College (1941–1942) Námořnictvo Spojených států amerických (1942–1946) Wisconsinská univerzita v Madisonu (1946–1979)
Ocenění	Guggenheimovo stipendium (1949) Leroy P. Steele Prize (1983) Národní vyznamenání za vědu (1990)
Některá data mohou pocházet z datové položky.

Stephen Cole Kleene (5. ledna 1909, Hartford – 25. ledna 1994, Madison) byl americký matematik a logik, který svou prací pomohl položit základy matematické informatiky.

Spolu s Alonzo Churchem, Alanem Turingem, Emilem Postem či Kurtem Gödelem je považován za zakladatele specifické větve matematické logiky, a to tzv. teorie rekurzivních funkcí. Obzvláště významná je jeho práce v teorii vyčíslitelnosti. Je po něm pojmenovaných několik matematických konceptů, např. Kleeneho hierarchie, Kleeneho algebra, nebo Kleeneho hvězdička (také nazývána iterace nebo Kleeneho uzávěr) a s ní úzce související Kleeneho plus (kladná iterace). Také vynalezl regulární výrazy a spolu s Alonzo Churchem i lambda kalkul. Jeho jméno nesou i Kleeneho s-m-n věta a Kleeneho-Rosserův paradox. Byl také průkopníkem intuicionizmu.

Správná výslovnost jména Kleene je / kleɪni ː / (jako anglické "clay-knee"), ne / kli ː ni ː / nebo / kli ː n /. Jeho syn, Ken Kleene k tomu řekl:

Život

Kleene se narodil v roce 1909, v Hartfordu v Connecticutu. Studoval na Amherst College, kde v roce 1930 získal titul bakaláře, později na Princetonské univerzitě, kde v roce 1934 získal i doktorát (PhD). Jeho disertační práci s názvem A Theory of Positive Integers in Formal Logic (Teorie přirozených čísel ve formální logice) vedl jako školitel Alonzo Church. Ve třicátých letech pomohl k rozvoji lambda kalkulu, který vynalezl Church, takovou měrou, že dnes bývá považován i za jeho spoluzakladatele. V roce 1935 začal pracovat na katedře matematiky Wisconsinské-Madisonské univerzity, kde strávil většinu svého profesionálního života. Během Druhé světové války působil v americké armádě.

Kleeneho výuka na Wisconsinské-Madisonské univerzity v oblasti matematické logiky vyústila do třech knih: Introduction to metamathematics (Úvod do metamatematiky) (1952), The Foundations of intuitionistic Mathematics (Základy intuicionistické matematiky) (1965 ; spolu s Richardem Eugenem Vesleym) a Mathematical Logic (Matematická logika) (1967). V první z těchto knih Kleene uveřejnil významný alternativní důkaz Gödelovy věty o neúplnosti a druhá je považována za klasický titul o intuicionistické logice.

Kleene měl se svou manželkou Nancy Elliottovou čtyři děti. Po celý život se věnoval rodinné farmě v Maine. Věnoval se také horolezectví a kanoistice, zajímal se o přírodu a životní prostředí, byl aktivním ochráncem přírody.

Roku 1990 získal National Medal of Science.

Reference

V tomto článku byly použity překlady textů z článků Stephen Cole Kleene na slovenské Wikipedii a Stephen Cole Kleene na anglické Wikipedii.

Externí odkazy

• Portrét v MacTutor History of Mathematics archive
• Heslo v encyklopedii Britannica
• Heslo v encyklopedii Universalis