Stephen Cole Kleene
From Wikipedia, the free encyclopedia
Stephen Cole Kleene (pronunțat /ˈkliːniː/; n. , Hartford, Connecticut, SUA – d. , 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).
Stephen Cole Kleene | |
Date personale | |
---|---|
Nume la naștere | Stephen Cole Kleene |
Născut | [1][2][3][4] Hartford, Connecticut, SUA[5][6] |
Decedat | (85 de ani)[1][2][3][4] Madison, Wisconsin, SUA[7] |
Cetățenie | Statele Unite ale Americii |
Ocupație | matematician informatician filozof cadru didactic universitar[*] |
Limbi vorbite | limba engleză[8][9] |
Activitate | |
Domeniu | informatică teoretică[*] teoria calculabilității |
Instituție | University of Wisconsin–Madison[10] Universitatea Princeton[10] Amherst College[10] United States Navy[10] University of Wisconsin–Madison[10] |
Alma Mater | Universitatea Princeton[10] Amherst College[10] |
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[11] |
Doctoranzi | Yiannis N. Moschovakis[*][[Yiannis N. Moschovakis (Greek-American logician)|]][12] Robert Lee Constable[*][[Robert Lee Constable (American computer scientist)|]][12] Joan Moschovakis[*][[Joan Moschovakis (American logician and mathematician)|]][12] John West Addison Jr.[*][[John West Addison Jr. (Ph.D. University of Wisconsin-Madison 1955)|]][12] Dick de Jongh[*][12] Nels David Nelson[*][[Nels David Nelson (matematician american)|]][12] Douglas Clarke[*][[Douglas Clarke (Ph.D. University of Wisconsin-Madison 1963)|]][12] Gene Fuerst Rose[*][[Gene Fuerst Rose (Ph.D. University of Wisconsin-Madison 1952)|]][12] Clifford Spector[*][[Clifford Spector (Ph.D. University of Wisconsin-Madison 1955)|]][12] Paul Axt[*][[Paul Axt (Ph.D. University of Wisconsin-Madison 1958)|]][12] ...î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[*] The foundations of intuitionistic mathematics[*][[The foundations of intuitionistic mathematics |]] |
Premii | Bursă Guggenheim[*] () Medalia Națională pentru Știință a Statelor Unite[*] ()[10] Leroy P. Steele Prize[*][[Leroy P. Steele Prize (award conferred by the American Mathematical Society)|]] ()[10][13] |
Modifică date / text |
Deși numele lui de familie este frecvent pronunțat /ˈkliːniː/ sau /ˈkliːn/, Kleene însuși își pronunța numele /ˈkleɪniː/.[14] 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.” [15]