Stephen Kleene
![]() ![]() | |
Biografia | |
---|---|
Naixement | (en) Stephen Cole Kleene ![]() 5 gener 1909 ![]() Hartford (Connecticut) ![]() |
Mort | 25 gener 1994 ![]() Madison (Wisconsin) ![]() |
Formació | Universitat de Princeton - matemàtiques (1930–1934) Amherst College (–1930) ![]() |
Tesi acadèmica | A Theory of Positive Integers in Formal Logic ![]() ![]() |
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 | |
Moviment | Intuïcionisme ![]() |
Carrera militar | |
Branca militar | Marina dels Estats Units d'Amèrica ![]() |
Rang militar | tinent comandant (1946–) ![]() |
Conflicte | Segona Guerra Mundial ![]() |
Obra | |
Obres destacables
| |
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
|
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
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ències
- ↑ 1,0 1,1 «Stephen Cole Kleene, American mathematician». Encyclopaedia Britannica [Consulta: 7 juny 2018].
- ↑ Mac Lane, 1998, p. 155.
- ↑ Mac Lane, 1994, p. 3.
- ↑ Mac Rosselló, 2002, p. 110 i ss.
- ↑ Mac Lane, 1998, p. 157.
- ↑ Chang, 2011, p. 404.
Bibliografia
- Agnellis, Irving M. «In Memoriam» (en anglès). Modern Logic, Vol. 4, Num. 3, 1994, pàg. 281-283. ISSN: 1047-5982.
- Chang, Sooyoung. Academic Genealogy of Mathematicians (en anglès). World Scientific Publishing, 2011. ISBN 978-981-4282-29-1.
- Mac Lane, Saunders «Stephen Cole Kleene — a reminiscence» (en anglès). Annals of Pure and Applied Logic, Vol. 81, Num. 1-3, 1996, pàg. 3-7. DOI: 10.1016/0168-0072(95)00049-6. ISSN: 0168-0072.
- Mac Lane, Saunders. «Stephen Cole Kleene». A: National Academy of Sciences. Biographical Memoirs. Vol. 75 (en anglès). National Academies Press, 1998, p. 155-163. ISBN 978-0-3090-6295-4.
- Rosselló, Francesc. La gallina dels ous d’or: el darrer teorema de Fermat. Edicions UIB, 2002. ISBN 84-7632-719-6.
Enllaços externs
- 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)