Stephen Cole Kleene
matematician american și informatician teoretic (1909-1994) · 1 titlu
Stephen Cole Kleene a fost un matematician american, elev al lui Alonzo Church, cunoscut, împreună cu Alan Turing, Emil Leon Post ș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. După el sunt denumite mai multe concepte matematice: ierarhia Kleene(d), algebră Kleene(d), Kleene star, 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).
