|
Professor Stephen Cole Kleene 5 January, 1909 - 25 January, 1994 |
|
Professor Stephen Cole Kleene January 5, 1909- January 25, 1994 |
|
An American mathematician whose work at the [University of Wisconsin-Madison]? helped lay the foundations for computer science. Kleene was best known for founding the branch of mathematical logic known as [recursion theory]? together with [Alonzo Church]?, Kurt Gödel, Alan Turing and others; and for inventing regular expressions. 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 and [Ascending Kleene Chain]? are named after him. |
|
An American mathematician whose work at the [University of Wisconsin-Madison]? helped lay the foundations for computer science. Kleene was best known for founding the branch of mathematical logic known as [recursion theory]? together with [Alonzo Church]?, Kurt Gödel, Alan Turing and others; and for inventing regular expressions. 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 and [Ascending Kleene Chain]? are named after him. |
|
Kleene was born in Hartford?, Conneticut?, USA. He received his bachelor of arts degree from [Amherst College]? in 1930. From 1930 to 1935, he was a graduate student and research assistant at Princeton University where he received his doctorate in mathematics in 1934 supervised by [Alonzo Church]?, for a thesis entitled A Theory of Positive Integers in Formal Logic. In 1935, he joined UW-Madison mathematics department as an instructor. He became an assistant professor in 1937. |
|
Kleene was born in Hartford?, Connecticut, USA. He received his bachelor of arts degree from [Amherst College]? in 1930. From 1930 to 1935, he was a graduate student and research assistant at Princeton University where he received his doctorate in mathematics in 1934 supervised by [Alonzo Church]?, for a thesis entitled A Theory of Positive Integers in Formal Logic. In 1935, he joined UW-Madison mathematics department as an instructor. He became an assistant professor in 1937. |
|
In 1946, he returned to Wisconsin, becoming a full professor in 1948. He was chair of mathematics, and computer sciences in 1962 and 1963 and dean of the College of Letters and Science from 1969 to 1974. In 1964 he was named the Cyrus C. MacDuffee? professor of mathematics. He retired in 1979. |
|
In 1946, he returned to Wisconsin, becoming a full professor in 1948. He was chair of mathematics, and computer sciences in 1962 and 1963 and dean of the College of Letters and Science from 1969 to 1974. In 1964 he was named the Cyrus C. MacDuffee? professor of mathematics. He retired in 1979. |
|
gopher://gopher.adp.wisc.edu/00/.data/.news-rel/.9401/.940126a. |
|
http://www.library.wisc.edu/libraries/Math/kleene.htm |
|
This article (or an earlier version of it) contains material from FOLDOC, used with permission. |
|
This article (or an earlier version of it) contains material from FOLDOC, used with permission. |
![[Home]](wikipedia.png)