Stephen Cole Kleene
American mathematician and theoretical computer scientist (1909–1994)
Person · Open Library
- Born
- January 5, 1909
- Died
- January 25, 1994
- Works
- 2
Top works
- Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Basic local alignment search tool
· 1990 · cited 79,892x
- Convex Optimization
Connections
Categories
1909 births1994 deaths20th-century American mathematiciansAmerican computer scientistsAmerican logiciansAmerican people of German descentAmherst College alumniComputability theoristsEducators from Hartford, ConnecticutInstitute for Advanced Study visiting scholarsIntuitionismMathematicians from Connecticut