Stephen Cole KleeneBorn 5 Jan 1909; died 25 Jan 1994 at age 85.American mathematician and logician whose research was on the theory of algorithms and recursive functions. He developed the field of recursion theory with Church, Gödel, Turing and others. He contributed to mathematical Intuitionism which had been founded by Brouwer. His work on recursion theory helped to provide the foundations of theoretical computer science. By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions can be computed. |