Background
Kleene, Stephen Cole was born on January 5, 1909 in Hartford, Connecticut, United States. Son of Gustav Adolph and Alice Lena (Cole) Kleene.
(Stephen Cole Kleene was one of the greatest logicians of ...)
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gödel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which “nothing was ever the same.” Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of “computable” moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Göde1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of “computable”. When they all turned out to be equivalent, there was a collective realization that this was indeed the “right notion”. Kleene played a key role in this process. One could say that he was “there at the beginning” of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gödel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
http://www.amazon.com/gp/product/0923891579/?tag=2022091-20
Kleene, Stephen Cole was born on January 5, 1909 in Hartford, Connecticut, United States. Son of Gustav Adolph and Alice Lena (Cole) Kleene.
AB, Amherst College, 1930. Doctor of Philosophy, Princeton University, 1934.
Instructor, University of Wisconsin 1935-1937, Assistant Professor 193741, Association Professor 1946-1948, Professor 1948-1964, Chairman Department, of Mathematics 58, 1960-1962, Chairman Department, of Numerical Analysis 1962-1963, Cyrus C. MacDuffee Professor, of Mathematics 1964-1974, of Mathematics and Computer Sciences 1974-1979, Dean of the College, of Letters and Science 1969-1974. Emeritus Dean and Emeritus Professor, of Mathematics, and Computer Science since 1979. Association Professor Amherst College 1941-1942.
United States.N.R. 1942-1946.
President Association for Symbolic Logic 1956-1958, Institute Union of the History and Philosophy of Science 1961. Chairman-Designate Division of Mathematical Sciences, National Research Council 1969-1972.
Guggenheim Fellow, University of Amsterdam 1950, Visiting Professor, Princeton University 1956-1957. National Science Foundation Grantee, University of Marburg 1958-1959.
(Stephen Cole Kleene was one of the greatest logicians of ...)
(Book by Kleene, Stephen Cole)
Lieutenant commander of The United States Navy Reserve, 1942-1946. Fellow American Association for the Advancement of Science. Member Phi Beta Kappa, Sigma Xi (president Wisconsin chapter 1951-1952).
Married Nancy Elliott, September 2, 1937 (deceased). Children: Paul Elliott and Kenneth Cole (twins), Bruce Metcalf, Pamela Lee. Married Jeanne M. Kleene, March 17, 1988.