researcher | Aljebra: teoria eta ariketak. Mathematica programaren aplikazioa, Ekuazio diferentzial arruntak askatzeko zenbakizko metodoak | University of the
Stephen Cole Kleene
- Hartford: January 5, 1909 celebration
- Madison: January 25, 1994 celebration


-
account_circle Username
Stephen Cole Kleene -
flag Country
United States -
wc Gender
Male -
badge Full Name
Stephen Cole Kleene -
assignment_ind Surname
Stephen Cole Kleene -
tv_signin Nickname
-
identity_platform Alias
-
celebration Date of birth
Hartford: January 5, 1909 -
deceased Rest in Peace
Madison: January 25, 1994 -
language Official Website
-
engineering Field of Work
- theory of computation
- theoretical computer science
-
local_library teacher
-
person_book Student
-
school Education
- Princeton University
- Amherst College
-
trophy Awards & Honors
- National Medal of Science (1990)
- Guggenheim Fellowship (1949)
- Leroy P. Steele Prize (1983)
-
social_leaderboard Notable Works
- lambda calculus
- Kleene star
- Kleene's theorem
- Kleene's recursion theorem
- Kleene algebra
- Kleene fixed-point theorem
- Church–Kleene ordinal
- Kleene's O
- Kleene's T predicate
- Kleene–Brouwer order
- Kleene–Rosser paradox
- Kleene's algorithm
- The foundations of intuitionistic mathematics
- American mathematician and theoretical computer scientist (1909–1994) | National Medal of Science (1990), Guggenheim Fellowship (1949), Leroy P. Steele Prize (1983)