Stephen Cole Kleene (1909 - 1994) Developed the field of [recursion theory]? together with [Alonzo Church]?, Kurt Godel, Alan Turing and others. His work 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 are computable?. He also contributed to mathematical Intuitionism? as founded by [Luitzen Brouwer]?. /Talk? |
#REDIRECT Stephen Cole Kleene |