The mathematics library at the University of Wisconsin was renamed in his honor
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
Figure timeline
Stephen Cole Kleene
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 function…
Text from Wikipedia, available under CC BY-SA 4.0.
science · American mathematician (1909–1994) · mathematician · computer scientist · philosopher · university teacher · logician · also Stephen Cole Kleene, Stephen Kleene, Kleene
Born 5 January 1909 · Died 25 January 1994 · Q335148
15 published statements · 0 followers
See & hear
Photos & media
1 photos
Media from Wikimedia Commons, hotlinked at the source under its own licence — see each file for author and terms.
Live now
In the news
Pulling headlines from trusted outlets — this usually takes a few seconds
Checking the wires…
Feed scan
These are live links, not archived citations — they only join the timeline once a collect run verifies and archives them.
Live pulse
Recent highlights
Most recent outstanding titles, awards, and quotes
- Award
- Award
1999· 1 entry
1994· 1 entry
Died 1994-01-25.
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #death
1990· 2 entries
Won National Medal of Science (1990).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #trophy
- #achievement
Was awarded the National Medal of Science
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1983· 1 entry
Awarded Leroy P. Steele Prize (1983).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
1978· 1 entry
That "Kleeneness is next to Gödelness
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1951· 1 entry
To describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1949· 1 entry
Awarded Guggenheim Fellowship (1949).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
1946· 1 entry
Kleene returned to the University of Wisconsin-Madison, becoming a full professor in 1948 and the Cyrus C
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1941· 1 entry
Returned to Amherst College, where he spent one year as an associate professor of mathematics
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1935· 1 entry
Joined the mathematics department at the University of Wisconsin–Madison, where he spent nearly all of his career
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1934· 2 entries
Studied at Princeton University, doctorate (1930–1934).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #education
Where his thesis, entitled A Theory of Positive Integers in Formal Logic, was supervised by Alonzo Church
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
1930· 1 entry
Studied at Amherst College (1930).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #education
1909· 1 entry
Born 1909-01-05.
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #birth