Stephen Cole Kleene Quotes

Stephen Cole Kleene — American Mathematician born on January 05, 1909, died on January 25, 1994

Stephen Cole Kleene /ˈkliːniː/ KLEE-nee was 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 and the Kleene fixpoint theorem. He also invented regular expressions, and made significant contributions to the foundations of mathematical intuitionism... (wikipedia)

I read one or two other books which gave me a background in mathematics other than logic.

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 think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.

Those three years ended with June 1933. At that time I left Princeton, having submitted my Ph.D. thesis.

I think Veblen had an interest in logic.