Stephen Cole Kleene

Stephen Cole Kleene
Algemene informatie
Geboortenaam	Stephen Cole Kleene
Geboortedatum	5 januari 1909[1][2][3][4][5][6]
Geboorteplaats	Hartford[7][8]
Overlijdensdatum	25 januari 1994[1][2][3][4][5][6]
Overlijdensplaats	Madison[9]
Werk
Beroep	wiskundige,[10] informaticus, filosoof, academisch docent, logicus[10]
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, The foundations of intuitionistic mathematics
Promovendi	Yiannis N. Moschovakis, Robert Lee Constable, Joan Moschovakis, J. W. Addison, 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
Kunst
Stroming	intuïtionisme
Militair
Rang	lieutenant commander
Legeronderdeel	United States Navy
Conflict	Tweede Wereldoorlog
Persoonlijk
Talen	Engels
Diversen
Lid van	Amerikaanse Nationale Wetenschapsacademie, American Academy of Arts and Sciences
Prijzen en onderscheidingen	Guggenheim-lidmaatschap (1949), National Medal of Science (1990),[11] Steele Prijs (1983)[11][12]

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.

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.

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.

• (en) Stephen Cole Kleene op www-history.mcs.st-andrews.ac.uk
• (en) Interview met Stephen C. Kleene en J. Barkley Rosser over hun tijd in Princeton

1. 1 2 MacTutor History of Mathematics archive; geraadpleegd op: 22 augustus 2017.
2. 1 2 Encyclopædia Britannica Online; geraadpleegd op: 9 oktober 2017; genoemd als: Stephen Cole Kleene; Encyclopædia Britannica Online-identificatiecode: biography/Stephen-Cole-Kleene.
3. 1 2 SNAC; geraadpleegd op: 9 oktober 2017; genoemd als: Stephen Cole Kleene; SNAC-identificatiecode: w65t4dzp.
4. 1 2 Guggenheim Museum; geraadpleegd op: 9 oktober 2017; genoemd als: Stephen Cole Kleene; Guggenheim-identificatiecode voor fellowship: stephen-cole-kleene.
5. 1 2 Brockhaus-encyclopedie; geraadpleegd op: 9 oktober 2017; genoemd als: Stephen Cole Kleene; Brockhaus-encyclopedie-identificatiecode: kleene-stephen-cole.
6. 1 2 BnF-normbestand; genoemd als: Stephen Cole Kleene; BnF-identificatiecode: 12281199v.
7. ↑ Nationaal Normbestand van Duitsland; geraadpleegd op: 14 december 2014.
8. ↑ Grote Sovjetencyclopedie (1969–1978); geraadpleegd op: 28 september 2015; paragraaf of sectie: Клини Стивен Коул.
9. ↑ Nationaal Normbestand van Duitsland; geraadpleegd op: 31 december 2014.
10. 1 2 Nationaal Normbestand van Duitsland; geraadpleegd op: 20 april 2026; GND-identificatiecode: 136329632.
11. 1 2 MacTutor History of Mathematics archive.
12. ↑ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28.