Stephen Cole Kleene

Stephen Cole Kleene (* 5. január 1909, Hartford, Connecticut, USA – † 25. január 1994, Madison, Wisconsin) bol americký matematik a informatik, ktorý svojou prácou pomohol položiť základy teoretickej informatiky.

Spolu s Alonzom Churchom (ktorého bol Kleene študentom), ako aj s Alanom Turingom, Emilom Postom, či Kurtom Gödelom je považovaný za zakladateľa odvetvia matematickej logiky, tzv. teórie rekurzívnych funkcií, obzvlášť významná je jeho práca v teórii vypočítateľnosti. Je po ňom pomenovaných viacero matematických konceptov, napr. Kleeneho hierarchia, Kleeneho algebra, či Kleeneho hviezdička (tiež nazývaná iterácia alebo Kleeneho uzáver) a s ňou úzko súvisiace Kleeneho plus (kladná iterácia). Taktiež vynašiel regulárne výrazy a spolu s Alonzom Churchom aj lambda kalkul. Jeho meno nesú aj Kleeneho s-m-n veta a Kleeneho-Rosserov paradox. Bol tiež priekopníkom intuicionizmu.

Správna výslovnosť mena Kleene je /ˈkleɪniː/ (ako anglické „clay-knee“), nie /ˈkliːniː/ alebo /ˈkliːn/. Jeho syn, Ken Kleene pri tejto príležitosti napísal: „Pokiaľ je mi známe, táto výslovnosť je nesprávna vo všetkých existujúcich jazykoch. Podľa mňa túto novátorskú výslovnosť vynašiel môj otec.“

Životopis 
Kleene sa narodil v roku 1909, v Hartforde, Connecticut. Študoval na Amherst College (Amherst, Massachusetts, USA), kde v roku 1930 získal titul bakalára, neskôr na Princetonskej univerzite, kde v roku 1934 získal aj doktorát (PhD). Jeho dizertačnú prácu s názvom A Theory of Positive Integers in Formal Logic (Teória prirodzených čísel vo formálnej logike) viedol ako školiteľ Alonzo Church. V tridsiatych rokoch pomohol k rozvoju lambda kalkulu, ktorý vynašiel Church, takou mierou, že dnes býva považovaný aj za jeho spoluzakladateľa. V roku 1935 začal pracovať na katedre matematiky Wisconsinsko-Madisonskej univerzity, kde strávil väčšinu svojho profesionálneho života. Počas Druhej svetovej vojny pôsobil v americkej armáde.

Kleeneho výuka na Wisconsinsko-Madisonskej univerzite v oblasti matematickej logiky vyústila v troch knihách: Introduction to Metamathematics (Úvod do metamatematiky) (1952), The Foundations of Intuitionistic Mathematics (Základy intuicionistickej matematiky) (1965; spolu s Richardom Eugeneom Vesleym) a Mathematical Logic (Matematická logika) (1967). V prvej z týchto kníh Kleene uverejnil významný alternatívny dôkaz Gödelovych viet o neúplnosti a druhá je považovaná za klasický americký titul o intuicionistickej logike.

Kleene mal so svojou manželkou Nancy Elliottovou štyri deti. Po celý život sa venoval rodinnej farme v Maine. Venoval sa tiež horolezectvu a kanoistike, zaujímal sa o prírodu a životné prostredie, bol aktívnym ochrancom prírody.

Pozri aj 
 Kleeneho uzáver
 Kleeneho algebra
 Kleeneho hierarchia
 Kleeneho s-m-n veta
 Kleeneho-Rosserov paradox

Externé odkazy 
 Stephen Cole Kleene, MacTutor History of Mathematics archive 
 Stephen Cole Kleene, Mathematics Genealogy Project 
 Biografický článok od Saundersa Mac Lanea 

Osobnosti z Hartfordu (Connecticut)
Matematici USA
Informatici USA
Logici USA
Priekopníci informatiky
Nositelia National Medal of Science
Členovia American Academy of Arts and Sciences
Členovia United States National Academy of Sciences
Absolventi Princeton University