Stephen Cole Kleene (1909-1994) Developed the field of [recursion theory]
? together with [Alonzo Church]
?,
Kurt Gödel,
Alan Turing and others. His work helped to provide the foundations of theoretical
computer science. By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions are computable
?. He also contributed to
mathematical intuitionism as founded by [L. E. J. Brouwer]
?. The
Kleene star as found in
regular expressions is named after him.
Short Biography
Stephen Kleene was born January 5, 1909, in Hartford?, Connecticut, USA. He got his first degree at [Amherst College]? and received his doctorate from Princeton University in 1934, supervised by [Alonzo Church]?, for a thesis entitled A Theory of Positive Integers in Formal Logic. After that he taught at Princeton until he joined the [University of Wisconsin]? at Madison in 1935. There he became a full professor in 1948 and
remained on the staff until he retired in 1979. He died January 25, 1994, in Madison?, Wisconsin, USA
Important Publications
- Introduction to Metamathematics (1952)
- Mathematical Logic (1967).
/Talk