Image by Leonhard_Niederwimmer on Pixabay · Pixabay License
Stephen Cole Kleene
Sign in to saveAlso known as Stephen Kleene
American mathematician and theoretical computer scientist (1909–1994)
OverviewAI-generated
Stephen Cole Kleene (1909–1994) was an American mathematician, computer scientist, philosopher, and university teacher. Born in Hartford and educated at Amherst College and Princeton University, he studied under Alonzo Church. Kleene worked at Princeton University, Amherst College, the University of Wisconsin–Madison, and served in the United States Navy during World War II. His professional affiliations included membership in the National Academy of Sciences and the American Academy of Arts and Sciences.
Kleene’s field of work focused on theoretical computer science and the theory of computation. He was associated with the movement of intuitionism and received the Guggenheim Fellowship, the National Medal of Science, and the Leroy P. Steele Prize. His notable works include the Kleene–Rosser paradox, Kleene's recursion theorem, Kleene algebra, and Kleene star. He also authored Formalized Recursive Functionals and Formalized Realizability. Kleene died in Madison.
Synthesized by Vinony from 29 facts across 3 sources: Wikidata, Open Library, Vinony collections. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.
Person · Open Library
- Born
- January 5, 1909
- Died
- January 25, 1994
- Works
- 2
Top works
- Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)
via Open Library + Wikidata
Key facts
- Born
- ( 1909-01-05 ) January 5, 1909, Hartford, Connecticut , U.S.
- Died
- January 25, 1994 (1994-01-25) (aged 85), Madison, Wisconsin , U.S.
- Alma mater
- Amherst College , Princeton University
- Known for
- Contributions to intuitionism Kleene–Mostowski hierarchy Kleene–Rosser paradox Kleene star Kleene's algorithm Kleene's theorem Realizability Regular expressions Kleene's S m, n theorem
- Awards
- Leroy P. Steele Prize (1983) , National Medal of Science (1990)
- Fields
- Mathematics
- Institutions
- University of Wisconsin–Madison
- Doctoral advisor
- Alonzo Church
- Doctoral students
- Robert Constable , Joan Moschovakis , Yiannis Moschovakis , Nels David Nelson , Dick de Jongh
via Wikipedia infobox
Wikidata facts
- Instance of
- human
- Given name
- Cole
- Gender
- male
- Citizenship
- United States
- Place of birth
- Hartford
- Place of death
- Madison
- Occupation
- university teacher
- Educated at
- Amherst College
- Employer
- University of Wisconsin–Madison
- Languages spoken
- English language
- Notable work
- Kleene–Rosser paradox
- Doctoral advisor
- Alonzo Church
- Field of work
- theory of computation
- Movement
- intuitionism
- Conflict
- World War II
- Military branch
- United States Navy
- Image
- Stephen Cole Kleene.jpg
Show 5 more facts
- date of birth
- 1909-01-05
- date of death
- 1994-01-25
- birth name
- Stephen Cole Kleene
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
~7 min read
Encyclopedic overview
Stephen Cole Kleene (/ˈkleɪni/ KLAY-nee; January 5, 1909 – January 25, 1994) 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 closure), 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.
Biography
Excerpted from Wikipedia’s “Stephen Cole Kleene” article, available under the CC BY-SA 4.0 licence.