 |
Stephen Cole KleeneAmerican mathematician and logician.
Date of Birth: 05.01.1909
Country:  USA |
Content:
Stephen Cole Kleene
Stephen Cole Kleene (pronounced "clay-nee") was an American mathematician and logician. His work, along with that of Alonzo Church, Kurt Gödel, and Alan Turing, laid the foundation for the field of mathematical logic known as computability theory.
Contributions to Computability Theory
Kleene is best known for his invention of regular expressions. He also made significant contributions to the theory of recursion and fixed-point theorems. His work in these areas has led to the naming of Kleene Algebra, the Kleene Star, Kleene's Recursion Theorem, and Kleene's Fixed Point Theorem.
Other Areas of Research
In addition to his work on computability theory, Kleene also made important contributions to Brouwer's intuitionistic mathematics and the theory of finite automata (see Kleene's Theorem).
Legacy
Kleene's work has had a profound impact on the fields of mathematics, computer science, and logic. His ideas have formed the basis for many important advances in these areas.
Publications
Among Kleene's most notable works are his books "Introduction to Metamathematics" and "Mathematical Logic," which have been translated into several languages and remain influential today.
