Loading…
Stephen Cole Kleene
American mathematician and theoretical computer scientist (1909–1994)
Details
- Instance of
- human
- Born
- 5 January 1909
- Died
- 25 January 1994
- Conflict
- World War II
- Place of birth
- Hartford
- Place of death
- Madison
- Sex or gender
- male
- Family name
- Kleene
- Movement
- intuitionism
- Field of work
- theoretical computer science, theory of computation
- Occupation
- mathematician, computer scientist, philosopher, university teacher, logician
- Citizenship
- United States
- academic thesis
- A Theory of Positive Integers in Formal Logic. Part I
- birth name
- Stephen Cole Kleene
- described by source
- Great Soviet Encyclopedia (1969–1978), Armenian Soviet Encyclopedia, vol. 5
- doctoral advisor
- Alonzo Church
- doctoral student
- Yiannis N. Moschovakis, Robert Lee Constable, Joan Moschovakis, J. W. Addison, Dick de Jongh, Nels David Nelson, Douglas Clarke, Gene Fuerst Rose, Clifford Spector, Paul Axt, Richard Vesley, Shih-Chao Liu
- educated at
- Princeton University, Amherst College
- employer
- University of Wisconsin–Madison, Princeton University, Amherst College, United States Navy, University of Wisconsin–Madison
- languages spoken, written or signed
- English
- military branch
- United States Navy
- military, police or special rank
- lieutenant commander
- notable work
- Kleene–Brouwer order, Kleene–Rosser paradox, Kleene's O, Church–Kleene ordinal, Kleene's recursion theorem, Kleene's T predicate, Kleene's theorem, Kleene's algorithm, Kleene algebra, Kleene star, Kleene fixed-point theorem, lambda calculus
- topic's main category
- Category:Stephen Cole Kleene
Connected on Wikidata
Creator of
Nothing in the MetaHistoryBook collection references this item yet.