Stephen Cole Kleene
Algemene informatie
Land	Verenigde Staten van Amerika
Naam bij geboorte	Stephen Cole Kleene
Geboortedatum	5 januari 1909
Geboorteplaats	Hartford
Overlijdensdatum	25 januari 1994
Overlijdensplaats	Madison
Werk
Beroep	wiskundige, informaticus, filosoof, academisch docent
Werkveld	theoretische informatica, theorie van de berekeningen
Werkgever(s)	Universiteit van Wisconsin-Madison, Princeton-universiteit, Amherst College, United States Navy, Universiteit van Wisconsin-Madison
Bekende werken	Kleene–Brouwer order, Kleene–Rosser paradox, Kleene's O, Church–Kleene ordinal, Kleene's recursion theorem, Kleene's T predicate, Kleene's theorem, Kleene's algorithm, Kleene algebra, Kleene-ster, Kleene fixed-point theorem, lambdacalculus
Promovendi	Yiannis N. Moschovakis, Robert Lee Constable, Joan Moschovakis, John West Addison, Jr., Dick de Jongh, Nels David Nelson, Douglas Clarke, Gene Fuerst Rose, Clifford Spector, Paul Axt, Richard Vesley, Shih-Chao Liu, David Philip Kierstead
Studie
School/universiteit	Princeton-universiteit, Amherst College
Promotor	Alonzo Church
Militair
Rang	lieutenant commander
Legeronderdeel	United States Navy
Conflict	Tweede Wereldoorlog
Persoonlijk
Talen	Engels
Schrijftaal	Engels
Diversen
Lid van	National Academy of Sciences, American Academy of Arts and Sciences
Prijzen en onderscheidingen	Guggenheim Fellowship, National Medal of Science, Steele Prijs
De informatie in deze infobox is afkomstig van Wikidata. U kunt die informatie hier bewerken.

Stephen Cole Kleene (Hatford, 5 januari 1909 – Madison, 25 januari 1994) was een Amerikaans wiskundige en theoretisch informaticus. Hij was een student van Alonzo Church en was een van de eersten die zich bezighield met berekenbaarheidstheorie. Hij bedacht reguliere expressies. Verschillende concepten binnen de theoretische informatica zijn naar hem genoemd, zoals de Kleene-ster.

Biografie

Kleene werd geboren in Hatford, Connecticut in 1909. Zijn vader, Gustav Adolph Kleene, was hoogleraar in de economie op de plaatselijke universiteit. Zijn moeder, Alice Lena Cole, was dichteres en toneelschrijfster.

In 1930 behaalde Kleene summa cum laude zijn bachelor-graad in wijsbegeerte en wiskunde aan Amherst College. Op voorspraak van Oswald Veblen verhuisde hij daarna naar de Princeton-universiteit, waar hij in 1934 promoveerde onder Alonzo Church, met een proefschrift getiteld A Theory of Positive Integers in Formal Logic. In 1935 kreeg hij een baan op de Universiteit van Wisconsin-Madison. Toen hij in 1941 een promotie misliep, vertrok hij en werd hij hoofddocent in Amherst. Van 1942 tot 1946 had hij onderwijs- en onderzoekstaken bij de Amerikaanse marine, maar daarna keerde hij terug bij de Universiteit van Wisconsin-Madison, waar tot zijn pensioen in 1979 bleef werken.

In 1942 trouwde hij met zijn vrouw Nancy, met wie hij vier kinderen kreeg. In 1970 stierf zijn vrouw, maar hij hertrouwde in 1978. In 1994 stierf hij op 85-jarige leeftijd aan een longontsteking.

Onderzoek

Kleene deed onderzoek naar de theorie van formele talen en algoritmen en naar recursietheorie, een discipline waarvan hij met Alonzo Church, Alan Turing en Kurt Gödel de grondslagen ontwikkelde. Bovendien was hij zeer geïnteresseerd in het intuïtionisme, een wiskundige grondslagenstroming ontwikkeld door L.E.J. Brouwer. Hij was een belangrijke Amerikaanse aanhanger van deze theorie.