Person: Kleene, Stephen Cole
Stephen C Kleene was an American mathematician and logician best known his work on recursion theory.
Mathematical Profile (Excerpt):
- He remained there for the rest of his career.
- He retired, becoming professor emeritus, and died at his summer home in Union, Maine in August 1946.
- Before marrying she published poems such as The lawsuit published in The Youth's Companion (1892), The dead bee published in The Century (1899), The lost spell published in Atlantic Monthly (1900) and Escape published in Atlantic Monthly (1900).
- He then went to Princeton University where his doctoral studies were supervised by Alonso Church.
- It had been Oswald Veblen who had proposed that the development of logic required careful analysis by mathematicians.
- Church, one of Veblen's students, had been appointed to Princeton in 1929 and was making remarkable advances in this area.
- J Barkley Rosser was also a doctoral student of Church's at Princeton, arriving in 1933 while Kleene was there.
- It was certainly an exciting place to be undertaking research applying mathematical techniques to logic with visitors such as Kurt Gödel - Kleene attended a course he gave at the Institute for Advanced Study.
- Kleene received a doctorate from Princeton for his thesis entitled A Theory of Positive Integers in Formal Logic in 1934.
- we shall be concerned primarily with the development of the system of logic based on a set of postulates proposed by A Church.
- Our object is to demonstrate empirically that the system is adequate for the theory of positive integers, by exhibiting a construction of a significant portion of the theory within the system.
- By carrying out the construction on the basis of a certain subset of Church's formal axioms, we show that this portion at least of the theory of positive integers can be deduced from logic without the use of the notions of negation, class, and description.
- After the award of his doctorate Kleene taught at Princeton until he joined the University of Wisconsin at Madison as an Instructor in 1935.
- He was promoted to Assistant Professor at Wisconsin in 1937 before leaving in 1941 (unhappy at his failure to be promoted) to become Assistant Professor back at Amherst College where he had studied for his first degree.
- Also in 1942 Kleene left Amherst College to undertake war service with the US Navy as a navigation instructor at the Naval Reserve Midshipmen's School in New York.
- Later he was a project director at the Naval Research Laboratory in Washington DC.
- He returned to the University of Wisconsin at Madison in 1946 as an associate professor being promoted to full professor two years later.
- In 1964 he was named Cyrus C Duffee Professor and continued to hold that chair until he retired in 1979.
- He served two terms as the Chair of the Department of Mathematics and one term as the Chair of the Department of Numerical Analysis (later renamed the Department of Computer Science).
- He also served as Dean of the College of Letters and Science in 1969-74.
- During his years at the University of Wisconsin he was thesis advisor to 13 Ph.D. students.
- Kleene's research was on the theory of algorithms and recursive function theory, an area which he created and retained an interest in throughout his life.
- 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.
- In particular he lectured on Recursive functions and intuitionistic mathematics at the International Congress of Mathematicians in Cambridge, Massachusetts, in 1950.
- In this lecture he spoke about how his interpretation of intuitionistic number theory by means of a "realization" might extend to intuitionistic set theory.
- He explored these ideas further in the book The foundations of intuitionistic mathematics, especially in relation to recursive functions (1965) written jointly with Richard Vesley.
- chapter one of this book provides the first systematic exposition of the foundations of intuitionist analysis set out as an axiomatic system treating Brouwer's fan theorem, the bar theorem, and the continuity principle (called Brouwer's principle).
- In these respects, this was far superior to the earlier well-known axiomatization by Heyting.
- Kleene's 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.
- He spent the summer of 1951 at the RAND Corporation and discovered an important characterisation of finite automata.
- His RAND report on his work that summer has been very influential for theoretical computer science.
- From 1930's on Kleene more than any other mathematician developed the notions of computability and effective process in all their forms both abstract and concrete, both mathematical and philosophical.
- He tended to lay the foundations for an area and then move on to the next, as each successive one blossomed into a major research area in his wake.
- Kleene developed a diverse array of topics in computability: the arithmetical hierarchy, degrees of computability, computable ordinals and hyperarithmetic theory, finite automata and regular sets with enormous consequences for computer science, computability on higher types, recursive realizability for intuitionistic arithmetic with consequences for philosphy and for program correctness in computer science.
- Kleene's best known books are Introduction to Metamathematics (1952) and Mathematical Logic (1967).
- Since the number of such texts in the field of logic is quite small, this book by an outstanding authority in the field is especially welcome.
- The author clearly feels that a fairly thorough treatment of a few topics is preferable to a little bit of everything.
- Difficult proofs are broken down into a large number of simple cases; some of these cases are usually left to the reader.
- There are many illuminating examples; the author is usually more interested in giving enough examples to illustrate the important points of the proof than in giving complete details of the proof.
- Clarity and simplicity are never sacrificed for elegance.
- Historical notes and bibliographical references are frequent, but are not allowed to overshadow the mathematics.
- for three important papers which formed the basis for later developments in generalized recursion theory and descriptive set theory "Arithmetical predicates and function quantifiers", "On the forms of the predicates in the theory of constructive ordinals (second paper)", and "Hierarchies of number-theoretic predicates".
- Other honours included election to the National Academy of Sciences (1969), election as President of the Association for Symbolic Logic (1956-58), president of the International Union of the History and the Philosophy of Science (1961) and of the Union's Division of Logic, Methodology and Philosophy of Science (1960-62).
- He was editor of the Journal of Symbolic Logic for twelve years.
- He discovered a variety of butterfly Beloria Todde Ammiralis Ba Kleenei.
- He was an avid climber and, until well into his seventies, led the biannual logic picnic at Madison (now the Kleene Memorial Logic Picnic) on hikes up the cliffs at Devil's Lake.
- Steve Kleene's knowledge of mushrooms was legendary.
- Then, as we three stood finally on top of the last peak (Mount Madison), a thunderstorm struck.
- Steve (quicker by way of his height) went down to the Madison Pass hut for help.
- When we got the injured man there we found that the lightning had singed his scalp and left a blister on his foot opposite a hobnail.
- He possessed a powerful voice that always made it possible for others to know without seeing him whether he was in the maths building.
Born 5 January 1909, Hartford, Connecticut, USA. Died 25 January 1994, Madison, Wisconsin, USA.
View full biography at MacTutor
Tags relevant for this person:
Algebra, Group Theory, Origin Usa
Adapted from other CC BY-SA 4.0 Sources:
- O’Connor, John J; Robertson, Edmund F: MacTutor History of Mathematics Archive