
related topics 
{work, book, publish} 
{math, number, function} 
{theory, work, human} 
{son, year, death} 
{service, military, aircraft} 
{water, park, boat} 
{school, student, university} 
{island, water, area} 

Stephen Cole Kleene (January 5, 1909, Hartford, Connecticut, United States – January 25, 1994, Madison, Wisconsin) was an American mathematician who helped lay the foundations for theoretical computer science. One of many distinguished students of Alonzo Church, Kleene, along with Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory. Kleene's work grounds the study of which functions are computable. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixpoint theorem. He also invented regular expressions, and was a leading American advocate of mathematical intuitionism.
Kleene pronounced his last name /ˈkleɪniː/ KLAYnee; /ˈkliːniː/ and /ˈkliːn/ are common mispronunciations. (His son, Ken Kleene, wrote: "As far as I am aware this pronunciation is incorrect in all known languages. I believe that this novel pronunciation was invented by my father.")
Contents
Biography
Kleene was awarded the BA degree from Amherst College in 1930. He was awarded the Ph.D. in mathematics from Princeton University in 1934. His thesis, entitled A Theory of Positive Integers in Formal Logic, was supervised by Alonzo Church. In the 1930s, he did important work on Church's lambda calculus. In 1935, he joined the mathematics department at the University of Wisconsin–Madison, where he spent nearly all of his career. After two years as an instructor, he was appointed assistant professor in 1937.
While a visiting scholar at the Institute for Advanced Study in Princeton, 193940, he laid the foundation for recursion theory, an area that would be his lifelong research interest. In 1941, he returned to Amherst College, where he spent one year as an associate professor of mathematics.
Full article ▸


related documents 
Henry John Stephen Smith 
John Backus 
Portal:Contents 
Robert Tarjan 
Wikipedia:Mailing lists 
Raphael Holinshed 
Cypherpunk 
Yann Martel 
Web indexing 
Nancy Huston 
Annals of Mathematics 
Wikipedia:WikiProject Military history 
Rewrite man 
Scotiabank Giller Prize 
Fred Brooks 
Wikipedia:Press coverage 2004 
National Book Award 
Tim Berra 
Luca Pacioli 
Sergey Brin 
Stephen Wolfram 
Reference work 
Commonwealth Writers' Prize 
Wikipedia:Announcements 
Baedeker 
Thomas Joannes Stieltjes 
William Sealy Gosset 
Harold James Ruthven Murray 
Phrack 
Journalist 
