The President's National Medal of Science: Recipient Details
Stephen C. Kleene
University of Wisconsin
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."
Presented by President Bush at a White House East Room Ceremony on November 13, 1990.