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.
When I got to Princeton I made a point of attending the Philosophy Club and listening to the lectures, but I didn't get involved in any discussions in those clubs. I guess after the first year, I dropped that.Stephen Cole Kleene
For example, the philosophers who were interested in logic were probably rather logical for mathematicians. But the ASL got us together, so we could talk to each other and publish in the same journal.Stephen Cole Kleene
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.Stephen Cole Kleene
And what I learned in Church's course. He trained us intensively in his new system, which he was just developing. Two papers were presented. I think the second paper wasn't published until well after the course was finished.Stephen Cole Kleene
I had some hesitations about philosophy because, if you worked out a philosophical theory, it was hard to know whether you were going to be able to prove it or whether other theories had just as good a claim on belief.Stephen Cole Kleene