Stephen C. Kleene

National Medal of Science

Mathematics And Computer Science

For his leadership in the theory of recursion and effective computability and for developing it into a deep and broad field of mathematical research.

For his leadership in the theory of recursion and effective computability and for developing it into a deep and broad field of mathematical research.

VIEW STATISTICS +

Birth
January 5, 1909
Age Awarded
81
Country of Birth
USA
Key Contributions
Recursion Theory
Kleene Star
Awarded by
George H. W. Bush
Education
Princeton University
Amherst College
Areas of Impact
Communication & Information
Theory & Foundations
Affiliations
University of Wisconsin
F

For Stephen Kleene, dedication and intelligence added up to a lifelong legacy in the field of mathematics.  While working at the University of Wisconsin-Madison, Kleene, along with a group of mathematicians, founded the recursion theory — a branch of logic used to determine if a function is computable or not. Recursion theory laid the groundwork for modern computer science and still heavily influences the field today.

Many mathematical operations were named after the math professor including the Kleene hierarchy, Kleene algebra, Kleene star and the Kleene recursion theorem.

Kleene taught mathematics at the Institute of Advanced Study and Amherst College and finished his career at the University of Wisconsin-Madison. Though he technically retired in 1979, Kleene remained professor emeritus until his death in 1994.

In 1999, the University of Wisconsin-Madison renamed its math library the Stephen Cole Kleene Mathematics Library in honor of its famous faculty member.

By Rachel Warren

...