Stephen Cole Kleene
American mathematician and theoretical computer scientist (1909–1994)
Biography
Stephen Cole Kleene was an American mathematician and logician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star, Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism.
Occupation
Stephen Cole Kleene is recorded as a logician, a philosopher, a university teacher, a mathematician and a computer scientist, born in Connecticut (1909–1994).
Connections to Connecticut
Stephen Cole Kleene was born in Hartford, Connecticut in 1909. Explore other notable figures from Connecticut, historic sites connected to this era, and the full colonial and statehood history of the state using the links below.
Everything a full report reveals about Hartford
Stephen Cole Kleene came from Hartford. A full Aubrey report on Hartford pulls together everything the historical record holds about that place, from the first settlers to the twentieth century:
Every location is different. Not every section appears for every place, only what the historical record actually holds turns up in a report.
More notable figures from Connecticut
Other historical figures born in Connecticut, ranked by historical prominence.
Frequently asked about Stephen Cole Kleene
Biographical content adapted from Wikipedia under the Creative Commons Attribution-ShareAlike 4.0 International License. Source: Wikipedia.
Research the history of any US location
Aubrey searches federal archives, archaeological records, historic registers, and primary sources to build a full historical report for any address or place in the United States.






