Stephen Cole Kleene

Amerikaans wiskundige
(Doorverwezen vanaf Stephen Kleene)

Stephen Cole Kleene (Hatford, 5 januari 1909Madison, 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.

Stephen Cole Kleene
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.

BiografieBewerken

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.

OnderzoekBewerken

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.

Externe linksBewerken