Stephen Kleene

De Viquipèdia
Jump to navigation Jump to search
Infotaula de personaStephen Kleene
Kleene.jpg
Biografia
Naixement 5 gener 1909
Hartford
Mort 25 gener 1994 (85 anys)
Madison
Educació Universitat de Princeton
Amherst College
Activitat
Director de tesi Alonzo Church
Camp de treball Informàtica teòrica
Ocupació Matemàtic, informàtic, filòsof i professor d'universitat
Ocupador Universitat de Wisconsin-Madison
Obra
Estudiant doctoral Yiannis N. Moschovakis, Robert Lee Constable Tradueix i Joan Moschovakis Tradueix
Premis
Modifica les dades a Wikidata

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]

Biografia[modifica]

Rebé el títol d'arts a l'Amherts College el 1930. Des del 1930 fins al 1935 fou un 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 d'enters positius en lògica formal. El 1935 entrà al departament de matemàtiques UW-Madison com a instructor, i esdevingué assistent de professor el 1937.

Des del 1939 fins al 1940 fou un visitant escolar a l'Institut per a l'Estudi Avançat de Princeton, no fundà la teoria de les funcions recursives, una àrea d'interès que seria investigada per ell durant tota la seva vida. El 1941 entrà a l'Amherst com professor associat de matemàtiques.

Durant la Segona Guerra Mundial, Kleene fou tinent-comandant a l'Armada dels Estats Units. A més a més, fou instructor de navegació a l'US Naval Reserve's Midshipmen's School a Nova York, i després director de projecte al laboratori d'investigació de l'armada a Washington DC.

El 1946 tornà a Wisconsin, on es féu professor el 1948. Allà fou decà del col·legi de lletres i ciències des del 1969 fins al 1974. El 1964; se'n retirà el 1979.[1]

Referències[modifica]

  1. 1,0 1,1 «Stephen Cole Kleene, American mathematician». Encyclopaedia Britannica [Consulta: 7 juny 2018].