Stephen Kleene

Lògic i matemàtic estatunidenc (1909-1994)

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]

Infotaula de personaStephen Kleene
Kleene.jpg
Modifica el valor a Wikidata
Biografia
Naixement(en) Stephen Cole Kleene Modifica el valor a Wikidata
5 gener 1909 Modifica el valor a Wikidata
Hartford (Connecticut) Modifica el valor a Wikidata
Mort25 gener 1994 Modifica el valor a Wikidata (85 anys)
Madison (Wisconsin) Modifica el valor a Wikidata
Dades personals
FormacióUniversitat de Princeton - matemàtiques (1930–1934)
Amherst College (–1930) Modifica el valor a Wikidata
Tesi acadèmicaA Theory of Positive Integers in Formal Logic  (1934 Modifica el valor a Wikidata)
Director de tesiAlonzo Church Modifica el valor a Wikidata
Activitat
Camp de treballInformàtica teòrica i teoria de la computació Modifica el valor a Wikidata
Ocupaciómatemàtic, filòsof, informàtic, professor d'universitat Modifica el valor a Wikidata
OcupadorUniversitat 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) Modifica el valor a Wikidata
Membre de
Carrera militar
Branca militarMarina dels Estats Units d'Amèrica Modifica el valor a Wikidata
Rang militartinent comandant (1946–) Modifica el valor a Wikidata
ConflicteSegona Guerra Mundial Modifica el valor a Wikidata
Obra
Obres destacables
Estudiant doctoralYiannis 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 Modifica el valor a Wikidata
Família
CònjugeNancy Elliot (1942-†1970)
Jeanne Steinmetz (1978-1994)
ParesGustav Adolph Kleene i Alice Lena Cole
Premis

BiografiaModifica

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]

ReferènciesModifica

  1. 1,0 1,1 «Stephen Cole Kleene, American mathematician». Encyclopaedia Britannica [Consulta: 7 juny 2018].
  2. Mac Lane, 1998, p. 155.
  3. Mac Lane, 1994, p. 3.
  4. Mac Rosselló, 2002, p. 110 i ss.
  5. Mac Lane, 1998, p. 157.
  6. Chang, 2011, p. 404.

BibliografiaModifica

Enllaços externsModifica

  • O'Connor, John J.; Robertson, Edmund F. «Stephen Kleene» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
  • «Stephen Cole Kleene». Encyclopaedia Britannica, 1998. [Consulta: 22 febrer 2022]. (anglès)