Stephen Cole Kleene

Stephen Cole Kleene (1909-1994) was an American mathematician and logician. He made significant contributions to the field of mathematical logic, particularly in the areas of recursion theory and computability. Kleene developed the concept of regular expressions and formalized the notion of recursive functions. His work played a crucial role in the development of theoretical computer science and laid the foundations for modern computability theory. Kleene's research and writings continue to be influential in the field to this day.

Pioneered work with Alonzo Church on the Lambda Calculus that first laid down the foundations of computation theory.

Stephen Cole Kleene was an American mathematician and logician. 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'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.

• He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism.