Stephen Cole Kleene
Stephen Cole Kleene
Stephen Cole Kleene /ˈkliːniː/ KLEE-neewas an American mathematician. One of the students of Alonzo Church, Kleene, along with 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 which functions are computable. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star, Kleene's recursion theorem...
NationalityAmerican
ProfessionMathematician
Date of Birth5 January 1909
CountryUnited States of America
I returned to Princeton with a research assistantship on February 7, 1934, and remained there through the academic year 1934-35.
As I say, there was this movement to try to bring philosophers and mathematicians together into an organization where they would talk to each other. An organization wasn't effective unless you had a journal. That's about all I know.
I had a liberal arts education at Amherst College where I had two majors, mathematics and philosophy.
I think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.
Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.