Stephen Cole Kleene Quotes
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.
Kleene, Stephen Cole. Interview by William Aspray. An Interview with Stephen C. Kleene, OH 73, Charles Babbage Institute, University of Minnesota, 26 Apr. 1984.
Stephen Cole Kleene was an American mathematician. 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.