About Stephen Cole Kleene:
Stephen Cole Kleene 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 closure), Kleene's recursion theorem and the Kleene fixpoint theorem. He also invented regular expressions, and made significant contributions to the foundations of mathematical intuitionism.
Well, I think Barkley and I were the only two who were working with Church for a Ph.D.
Stephen Cole KleeneI went to Princeton from Amherst, where I split my interests between mathematics and philosophy.
Stephen Cole KleeneI read one or two other books which gave me a background in mathematics other than logic.
Stephen Cole KleeneHere at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.
Stephen Cole Kleene