Stephen Cole Kleene

Stephen Cole Kleene
Date personale
Nume la naștere	Stephen Cole Kleene
Născut	5 ianuarie 1909 Hartford, Connecticut, SUA
Decedat	25 ianuarie 1994 (85 de ani) Madison, Wisconsin, SUA
Cetățenie	Statele Unite ale Americii
Ocupație	matematician informatician filozof cadru didactic universitar[*]​
Limbi vorbite	limba engleză
Activitate
Domeniu	informatică teoretică[*]​ teoria calculabilității
Instituție	University of Wisconsin–Madison Universitatea Princeton Amherst College United States Navy University of Wisconsin–Madison
Alma Mater	Universitatea Princeton Amherst College
Organizații	Academia Națională de Științe a Statelor Unite ale Americii[*]​ Academia Americană de Arte și Științe[*]​
Conducător de doctorat	Alonzo Church
Doctoranzi	Yiannis N. Moschovakis[*][[Yiannis N. Moschovakis (American logician)|​]] Robert Lee Constable[*][[Robert Lee Constable (American computer scientist)|​]] Joan Moschovakis[*][[Joan Moschovakis (American logician and mathematician)|​]] John West Addison Jr.[*][[John West Addison Jr. (Ph.D. University of Wisconsin-Madison 1955)|​]] Dick de Jongh[*]​ Nels David Nelson[*][[Nels David Nelson (matematician american)|​]] Douglas Clarke[*][[Douglas Clarke (Ph.D. University of Wisconsin-Madison 1963)|​]] Gene Fuerst Rose[*][[Gene Fuerst Rose (Ph.D. University of Wisconsin-Madison 1952)|​]] Clifford Spector[*][[Clifford Spector (Ph.D. University of Wisconsin-Madison 1955)|​]] Paul Axt[*][[Paul Axt (Ph.D. University of Wisconsin-Madison 1958)|​]] ...încă 3
Cunoscut pentru	Kleene–Brouwer order[*][[Kleene–Brouwer order (Mathematical theory)|​]] Kleene–Rosser paradox[*][[Kleene–Rosser paradox |​]] Kleene's O[*][[Kleene's O |​]] Church–Kleene ordinal[*][[Church–Kleene ordinal (the order type of the set of all recursive ordinals)|​]] Kleene's recursion theorem[*][[Kleene's recursion theorem (Theorem in computability theory)|​]] Kleene's T predicate[*][[Kleene's T predicate (concept in computability theory)|​]] Kleene's theorem[*][[Kleene's theorem (theorem)|​]] Kleene's algorithm[*][[Kleene's algorithm |​]] Kleene algebra[*][[Kleene algebra (idempotent semiring endowed with a closure operator)|​]] Închidere Kleene Kleene fixed-point theorem[*][[Kleene fixed-point theorem |​]] calculul lambda[*]​
Premii	Bursă Guggenheim[*]​ (1949) Medalia Națională pentru Știință a Statelor Unite[*]​ (1990) Leroy P. Steele Prize[*][[Leroy P. Steele Prize (award conferred by the American Mathematical Society)|​]] (1983)

Stephen Cole Kleene (pronunțat /ˈkliːniː/; n. 5 ianuarie 1909, Hartford, Connecticut, SUA – d. 25 ianuarie 1994, Madison, Wisconsin, SUA) a fost un matematician american, elev al lui Alonzo Church, cunoscut, împreună cu Alan Turing, Emil Leon Post^⁠(d) și alții, ca fondator al ramurii logicii matematice care poartă numele teoria calculabilității, care ulterior a stat la baza informaticii teoretice. Opera lui Kleene a reprezentat fundamentul studiului chestiunii care funcții sunt calculabile^⁠(d). După el sunt denumite mai multe concepte matematice: ierarhia Kleene^⁠(d), algebră Kleene^⁠(d), Kleene star (închiderea Kleene), teorema de recursie Kleene^⁠(d) și teorema Kleene a punctului fix^⁠(d). El a inventat expresiile regulate, și a avut contribuții semnificative la bazele intuiționismului matematic^⁠(d).

Deși numele lui de familie este frecvent pronunțat /ˈkliːniː/ sau /ˈkliːn/, Kleene însuși își pronunța numele /ˈkleɪniː/. Fiul său, Ken Kleene, scria: „din câte știu, această pronunție este incorectă în toate limbile cunoscute. Cred că această pronunție nouă fost inventată de tatăl meu.”

Biografie

Kleene și-a obținut diploma de licență la Amherst College, în 1930. Apoi a obținut un doctorat în matematică la Universitatea Princeton în anul 1934. Teza, intitulată O teorie a numerelor întregi pozitive în logica formală, a fost elaborată sub supravegherea lui Alonzo Church. În 1930, el a efectuat lucrări importante în calculul lambda^⁠(d) al lui Church. În 1935, s-a alăturat catedrei de matematică de la Universitatea din Wisconsin–Madison, unde și-a petrecut aproape toată cariera. După doi ani ca instructor, a fost numit profesor asistent în 1937.

În timp ce era profesor vizitator la Institute for Advanced Study de la Princeton, în 1939-40, el a pus bazele teoriei recursivității, domeniu a cărei cercetări avea să-i capteze interesul toată viața. În 1941, el a revenit la Amherst College, unde a petrecut un an ca profesor de matematică.

În timpul celui de al Doilea Război Mondial, Kleene a fost locotenent-comandor în Marina Statelor Unite. El a fost instructor de navigație la U. S. Naval Reserve Midshipmen School din New York, și apoi director de proiect la Naval Research Laboratory din Washington, D.C.

În 1946, Kleene a revenit în Wisconsin, devenind profesor titular în 1948 și profesor de matematică Cyrus C. MacDuffee în 1964. El a fost președinte al Catedrei de Matematică și Informatică, 1962-63, și decanul al Facultății de Litere și Științe din 1969 până în 1974. El a primit acestă din urmă numire în ciuda considerabilei agitații studențești din acea vreme, cauzată de Războiul din Vietnam. S-a pensionat de la Universitatea din Wisconsin în 1979. În 1999, biblioteca de matematică de la Universitatea din Wisconsin a fost botezată în onoarea lui.

Activitatea de predare a lui Kleene din Wisconsin a condus la elaborarea a trei texte de logica matematică, Kleene (1952, 1967) și Kleene și Vesley (1965), adesea citate și încă reeditate. Kleene (1952) a scris demonstrații alternative la teoremele de incompletitudine ale lui Gödel^⁠(d), demonstrații care le-au consolidat acestora statutul canonic și le-au făcut mai ușor de predat și de înțeles. Kleene și Vesley (1965) este un manual clasic de introducere în logica intuiționistă^⁠(d) și matematică^⁠(d) în Statele Unite.

Kleene a fost președinte al Association for Symbolic Logic, 1956-58, și al Uniunii Internaționale de Istoria și Filosofia Științei, 1961. În 1990, el a fost distins cu Medalia Națională de Știință^⁠(d).

Kleene și soția lui, Nancy Elliott, au avut patru copii. El a fost devotat toată viața fermei din Maine a familiei. Alpinist pasionat, avea un interes puternic pentru natură și mediu^⁠(d), și a activat în folosul mai multor mișcări pentru conservarea mediului^⁠(d).

Publicații importante

• 1936. "General recursive functions of natural numbers ", Matematica. Ann., 112, 727-742.
• 1952. Introduction to Metamathematics. New York: Van Nostrand. (Ishi Press: retipărire în 2009).
• 1956. "Representation of Events in Nerve Nets and Finite Automata" în Automate de Studii. Claude Shannon și John McCarthy, eds.
• 1965 (cu Richard Eugene Vesley). The Foundations of Intuitionistic Mathematics. North-Holland.
• 1967. Mathematical Logic. John Wiley. Retipărită la Dover, 2002. ISBN 0-486-42533-9.
• 1981. "Origins of Recursive Function Theory", în Annals of the History of Computing 3, Nr.1.

Referințe

• Acest articol a fost bazat original pe informații de la Dicționarul Online Gratuit de Calculatoare.

^ ^{a b c d} MacTutor History of Mathematics archive, accesat în 22 august 2017 

^ ^{a b c d e f g h i} MacTutor History of Mathematics archive 

^ Genealogia matematicienilor, accesat în 8 august 2016 

^ ^{a b c d e f g h i j} Genealogia matematicienilor 

^ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28 

^ ^{a b c d} Stephen Cole Kleene, Encyclopædia Britannica Online, accesat în 9 octombrie 2017 

^ ^{a b c d} Stephen Cole Kleene, SNAC, accesat în 9 octombrie 2017 

^ ^{a b c d} Stephen Cole Kleene, Muzeul Solomon R. Guggenheim, accesat în 9 octombrie 2017 

^ „Stephen Cole Kleene”, Gemeinsame Normdatei, accesat în 14 decembrie 2014 

^ Клини Стивен Коул, Marea Enciclopedie Sovietică (1969–1978)[*]​ 

^ „Stephen Cole Kleene”, Gemeinsame Normdatei, accesat în 31 decembrie 2014 

^ IdRef, accesat în 23 mai 2020 

^ CONOR[*][[CONOR (authority control file for author and corporate names in Slovene system COBISS)|​]] 

^ Pace, Eric (27 ianuarie 1994). „Stephen C. Kleene Is Dead at 85; Was Leader in Computer Science”. The New York Times. 

^ În articolul „Stephen Kleene” la Dicționarul Online Gratuit de Calculatoare.

^ „About S.C. Kleene”. University of Wisconsin—Madison Libraries. Accesat în 23 aprilie 2016. 

^ IUHPS-ul Arhivat în 27 septembrie 2011, la Wayback Machine.; de asemenea, cunoscut sub numele de "Uniunea Internațională de Istoria și Filosofia Științei".

^ „WorldCat: editions for 'Introduction to metamathematics.'”. Accesat în 2 aprilie 2013. 

^ Bishop, Errett (1965). „Review: The foundations of intuitionistic mathematics, by Stephen Cole Kleene and Richard Eugene Vesley”. Bull. Amer. Math. Soc. 71 (6): 850–852. doi:10.1090/s0002-9904-1965-11412-4.