Stephen Cole Kleene

Stephen Cole Kleene
Date personale
Nume la naștere	Stephen Cole Kleene
Născut	5 ianuarie 1909[5][6][7][8][9] Hartford, Connecticut, SUA[10][11]
Decedat	25 ianuarie 1994 (85 de ani)[5][6][7][8][9] Madison, Wisconsin, SUA[12]
Cetățenie	Statele Unite ale Americii
Ocupație	matematician informatician filozof cadru didactic universitar[*]​
Limbi vorbite	limba engleză[13][14]
Activitate
Domeniu	informatică teoretică[*]​ teoria calculabilității
Instituție	University of Wisconsin–Madison[1] Universitatea Princeton[1] Amherst College[1] United States Navy[1] University of Wisconsin–Madison[1]
Alma Mater	Universitatea Princeton[1] Amherst College[1]
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[2]
Doctoranzi	Yiannis N. Moschovakis[*][[Yiannis N. Moschovakis (Greek-American logician)|​]][3] Robert Lee Constable[*]​[3] Joan Moschovakis[*][[Joan Moschovakis (American logician and mathematician)|​]][3] John West Addison Jr.[*][[John West Addison Jr. (Ph.D. University of Wisconsin-Madison 1955)|​]][3] Dick de Jongh[*]​[3] Nels David Nelson[*][[Nels David Nelson (matematician american)|​]][3] Douglas Clarke[*][[Douglas Clarke (Ph.D. University of Wisconsin-Madison 1963)|​]][3] Gene Fuerst Rose[*][[Gene Fuerst Rose (Ph.D. University of Wisconsin-Madison 1952)|​]][3] Clifford Spector[*][[Clifford Spector (Ph.D. University of Wisconsin-Madison 1955)|​]][3] Paul Axt[*][[Paul Axt (Ph.D. University of Wisconsin-Madison 1958)|​]][3] ...î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 (Theorem in order theory)|​]] calculul lambda[*]​ The foundations of intuitionistic mathematics[*][[The foundations of intuitionistic mathematics |​]]
Premii	Bursă Guggenheim[*]​ (1949) Medalia Națională pentru Știință a Statelor Unite[*]​ (1990)[1] Leroy P. Steele Prize[*][[Leroy P. Steele Prize (award conferred by the American Mathematical Society)|​]] (1983)[1][4]
Modifică date / text

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ː/.^[15] 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.” ^[16]