QUICK FACTS
Created Jan 0001
Status Verified Sarcastic
Type Existential Dread
Keywords
klein bottle, felix klein, jstor, hartford, connecticut, madison, wisconsin, amherst college, princeton university, intuitionism, kleene–mostowski hierarchy

Stephen Cole Kleene

“Right. Let's get this over with. You want to know about Stephen Cole Kleene. Fine. Just try not to make this...”

Contents
  • 1. Overview
  • 2. Etymology
  • 3. Cultural Impact

Right. Let’s get this over with. You want to know about Stephen Cole Kleene. Fine. Just try not to make this tedious.

This entry concerns the American mathematician. For details on the German mathematician, the architect of the enigmatic Klein Bottle , one must look to Felix Klein .

Stephen Cole Kleene: An American Mathematician and Logician (1909–1994)

This article requires more sourcing to be considered truly verifiable. It’s a shame, really, how much vital information is left to chance. If you intend to improve it, I suggest adding citations to reliable sources . Otherwise, expect the unsupported to be challenged, and rightfully so. Find more on Stephen Cole Kleene in the news, newspapers, books, scholarly articles, or perhaps even JSTOR . (September 2022)

Stephen Kleene

Born: January 5, 1909 Hartford, Connecticut , U.S.

Died: January 25, 1994 (aged 85) Madison, Wisconsin , U.S.

Alma Mater: Amherst College Princeton University

Known For:

Awards:

Scientific Career:

Fields: Mathematics

Institutions: University of Wisconsin–Madison

Doctoral Advisor: Alonzo Church

Doctoral Students:

Stephen Cole Kleene, pronounced /ˈkleɪni/ KLAY-nee, was an American mathematician and logician . He was a student of the formidable Alonzo Church . Alongside figures like Rózsa Péter , Alan Turing , and Emil Post , Kleene stands as a principal founder of recursion theory , a cornerstone of mathematical logic that, in turn, laid the groundwork for theoretical computer science . His work is fundamental to the study of computable functions . Several mathematical concepts bear his name, including the Kleene hierarchy , Kleene algebra , the ubiquitous Kleene star (or Kleene closure), Kleene’s recursion theorem , and the Kleene fixed-point theorem . He also deserves credit for inventing regular expressions in 1951, initially to describe McCulloch-Pitts neural networks , and made profound contributions to the philosophical underpinnings of mathematical intuitionism .

Biography

Born in Hartford, Connecticut on January 5, 1909, Stephen Kleene was the son of Alice Lena Cole, a poet of some repute, and Gustav Adolph Kleene, who held a professorship in economics at Trinity College . His paternal grandparents were immigrants from Germany.

Kleene earned his bachelor’s degree from Amherst College in 1930. His academic journey continued at Princeton University , where he completed his Ph.D. in mathematics in 1934. His doctoral thesis, “A Theory of Positive Integers in Formal Logic,” was guided by Alonzo Church . During the 1930s, Kleene made significant contributions to Church’s development of lambda calculus . In 1935, he joined the mathematics department at the University of Wisconsin–Madison , a place that would become his academic home for the vast majority of his career. He advanced from instructor to assistant professor in 1937. It was during this pivotal decade that Kleene began to forge the foundations of recursion theory , a field that would captivate his research interests for a lifetime.

He was a visiting scholar at the prestigious Institute for Advanced Study in Princeton during 1939–1940. In 1941, he returned to Amherst College, serving as an associate professor of mathematics for a year. The following year, 1942, he married Nancy Elliott. His service extended to the United States Navy Reserve , where he enlisted as a lieutenant and was eventually discharged in 1946 with the rank of lieutenant commander .

Upon returning to the University of Wisconsin-Madison in 1946, Kleene became a full professor in 1948 and later held the Cyrus C. MacDuffee professorship of mathematics starting in 1964. His leadership extended beyond research; he served two terms as Chair of the Mathematics Department and one term as Chair of the Department of Numerical Analysis (later reconstituted as the Department of Computer Science). He also held the position of Dean of the College of Letters and Science from 1969 to 1974. During his tenure at Wisconsin, he mentored thirteen Ph.D. students. He officially retired in 1979. In a testament to his lasting impact, the university’s mathematics library was renamed in his honor in 1999.

Kleene’s dedication to teaching at Wisconsin resulted in three influential texts on mathematical logic : Kleene (1952, 1967) and Kleene and Vesley (1965). The first two remain widely cited and in print. Kleene’s 1952 work, in particular, offered alternative proofs for Gödel’s incompleteness theorems , making these profound results more accessible and solidifying their canonical understanding. His 1965 collaboration with Vesley provided a foundational American introduction to intuitionistic logic and the broader philosophy of intuitionism .

Recursive function theory, a field Kleene fundamentally shaped, is absolutely central to computer science. He is credited with numerous foundational results, including the Kleene normal form theorem (1936), the Kleene recursive theorem (1938), the development of the arithmetical and hyper-arithmetical hierarchies in the 1940s and 1950s, the Kleene-Post theory of degrees of unsolvability (1954), and his work on higher-type recursion theory, which he initiated in the late 1950s and revisited in the late 1970s.

Beyond recursion theory, Kleene explored a second significant area starting in the late 1940s: Brouwer’s intuitionism. Employing tools drawn from recursion theory, he developed recursive realizability, a powerful technique for interpreting intuitionistic statements. A third major area of his research saw a significant breakthrough in the summer of 1951 at the Rand Corporation , where he provided a crucial characterization of events accepted by a finite automaton .

Kleene was a leader in his academic community, serving as president of the Association for Symbolic Logic from 1956 to 1958, and of the International Union of History and Philosophy of Science from 1961. The profound significance of his work was recognized by Daniel Dennett , who coined the memorable phrase, published in 1978, that “Kleeneness is next to Gödelness.” In 1990, his contributions were further honored with the National Medal of Science .

Stephen and Nancy Kleene had four children. He maintained a deep connection to the family farm in Maine throughout his life. An accomplished mountain climber, he possessed a profound appreciation for nature and the environment , actively engaging in numerous conservation initiatives.

Legacy

The Kleene Award for the best student paper is presented annually at the Symposium on Logic in Computer Science , a fitting tribute to Stephen Cole Kleene’s enduring influence.

Selected Publications

    1. “A Theory of Positive Integers in Formal Logic. Part I”. American Journal of Mathematics . 57 (1): 153–173. doi:10.2307/2372027 . JSTOR 2372027.
    1. “A Theory of Positive Integers in Formal Logic. Part II”. American Journal of Mathematics. 57 (2): 219–244. doi:10.2307/2371199 . JSTOR 2371199.
    1.  — ; Rosser, J. Barkley (Jul). “The Inconsistency of Certain Formal Logics”. Annals of Mathematics. 2nd Series. 36 (3): 630–636. doi:10.2307/1968646 . JSTOR 1968646.
    1. “General recursive functions of natural numbers”. Mathematische Annalen. 112: 727–742.
    1. “λ-definability and recursiveness”. Duke Mathematical Journal. 2 (2): 340–352.
    1. “On Notations for Ordinal Numbers” (PDF). Journal of Symbolic Logic. 3 (4): 150–155. doi:10.2307/2267778 . JSTOR 2267778. S2CID 34314018.
    1. “Recursive predicates and quantifiers”. Transactions of the American Mathematical Society. 53 (1): 41–73. doi:10.1090/S0002-9947-1943-0007371-8 .
    1. “Representation of Events in Nerve Nets and Finite Automata” (PDF). U. S. Air Force Project Rand Research Memorandum. No. RM-704. The RAND Corporation . December 15.
    1. Introduction to Metamathematics. New York: Van Nostrand. p. 550. LCCN 53001848. OCLC 523942.
    1.  — ; Shannon, Claude ; McCarthy, John , eds. “Representation of Events in Nerve Nets and Finite Automata”. Automata Studies. OCLC 564148.
    1.  — ; Vesley, Richard Eugene. The Foundations of Intuitionistic Mathematics. North-Holland.
    1. Mathematical Logic. John Wiley & Sons . Dover reprint, 2002. ISBN 0-486-42533-9.
    1. “Origins of Recursive Function Theory” in Annals of the History of Computing 3, No. 1.
    1. “Reflections on Church’s thesis”. Notre Dame Journal of Formal Logic. 28 (4): 490–498. doi:10.1305/ndjfl/1093637645 .

See Also

Notes

  • ^ While his surname is often pronounced /ˈkliːni/ KLEE-nee or /kliːn/ KLEEN, Kleene himself insisted on the pronunciation /ˈkleɪni/ KLAY-nee. His son, Ken Kleene, noted that this pronunciation appears to be unique. However, the surname is found in the Netherlands, where the ’ee’ sound can be similar to ‘ay’ in “hail,” albeit shorter. It’s plausible Stephen Kleene was aware of this linguistic nuance. citation needed