Stephen Kleene

Stephen Kleene (5 de gener de 1909, Hartford (Connecticut), Estats Units - 25 de gener de 1994, Madison (Wisconsin), EUA) fou un lògic i matemàtic estatunidenc.^[1]

Stephen Kleene

Biografia
Naixement	(en) Stephen Cole Kleene 5 gener 1909 Hartford (Connecticut)
Mort	25 gener 1994 (85 anys) Madison (Wisconsin)
Formació	Universitat de Princeton - matemàtiques (1930–1934) Amherst College (–1930)
Tesi acadèmica	A Theory of Positive Integers in Formal Logic  (1934 )
Director de tesi	Alonzo Church
Activitat
Camp de treball	Informàtica teòrica i teoria de la computació
Ocupació	matemàtic, filòsof, informàtic, professor d'universitat
Ocupador	Universitat de Wisconsin-Madison (1946–1979) Marina dels Estats Units d'Amèrica (1942–1946) Amherst College (1941–1942) Universitat de Wisconsin-Madison (1935–1941) Universitat de Princeton (1934–1935)
Membre de	Acadèmia Nacional de Ciències dels Estats Units Acadèmia Americana de les Arts i les Ciències
Moviment	Intuïcionisme
Carrera militar
Branca militar	Marina dels Estats Units d'Amèrica
Grau militar	tinent comandant (1946–)
Conflicte	Segona Guerra Mundial
Obra
Obres destacables ordre de Kleene-Brouwer Àlgebra de Kleene Algorisme de Kleene Clausura de Kleene Teorema del punt fix de Kleene Càlcul lambda teorema de Kleene Teorema de recursivitat de Kleene paradoxa de Kleene-Rosser predicat T de Kleene sistema O de Kleene ordinal de Church-Kleene (1965) The foundations of intuitionistic mathematics (en)
Estudiant doctoral	Yiannis Moschovakis, Robert Constable, Joan Moschovakis, John Addison, Dick de Jongh, Nels David Nelson, Douglas Clarke, Gene Fuerst Rose, Clifford Spector, Paul Axt, Richard Vesley, Shih-Chao Liu i David Kierstead
Família
Cònjuge	Nancy Elliot (1942-†1970) Jeanne Steinmetz (1978-1994)
Pares	Gustav Adolph Kleene i Alice Lena Cole
Premis
(1990)  Medalla Nacional de Ciència (1983)  Premi Leroy P. Steele (1949)  Beca Guggenheim

Biografia

Tot i haver nascut a Hartford (Connecticut), sempre es va considerar de Union (Maine), on estava la casa pairal del seu avi patern.^[2] Es va graduar a l'Amherst College el 1930 i, fascinat per les matemàtiques, fou estudiant graduat i assistent investigador a la universitat de Princeton, on rebé el doctorat en matemàtiques el 1934, supervisat per Alonzo Church, per una tesi titulada Una teoria dels enters positius en lògica formal. El 1935 entrà al departament de matemàtiques de la universitat de Wisconsin a Madison com a instructor, i esdevingué assistent de professor el 1937.^[3]

En aquesta època fundà la teoria de les funcions recursives i el càlcul lambda, una àrea d'interès que seria investigada per ell durant tota la seva vida.^[4]

El curs 1939-40 fou professor visitant a l'Institut d'Estudis Avançats de Princeton i el 1941 entrà a l'Amherst com a professor associat de matemàtiques. Durant la Segona Guerra Mundial (1942-1946), Kleene fou tinent-comandant a l'Armada dels Estats Units, fent d' instructor de navegació a l'US Naval Reserve's Midshipmen's School de Nova York i, després, de director de projecte al laboratori d'investigació de l'armada a Washington DC.^[5]

El 1946 tornà a la universitat de Wisconsin en la qual va ser nomenat professor titular el 1948. Fou degà de la Facultat de Lletres i Ciències des del 1969 fins al 1974. Es va retirar el 1979.^[1]

Els seus llibres més importants van ser Introduction to Metamathematics (1952) i Mathematical Logic (1965). Va publicar també nombrosos articles a revistes científiques sobre funcions recursives i sobre matemàtica intuïcionista.^[6]