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]
Dades ràpides Biografia, Naixement ...
Stephen Kleene ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
|
Naixement | (en) Stephen Cole Kleene ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) 5 gener 1909 ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) Hartford (Connecticut) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Mort | 25 gener 1994 (85 anys) Madison (Wisconsin) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Formació | Universitat de Princeton - matemàtiques (1930–1934) Amherst College (–1930) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Tesi acadèmica | A Theory of Positive Integers in Formal Logic (1934 ) |
---|
Director de tesi | Alonzo Church ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Camp de treball | Informàtica teòrica i teoria de la computació ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Ocupació | matemàtic, filòsof, informàtic, professor d'universitat ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
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) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Membre de | |
---|
Moviment | Intuïcionisme ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Branca militar | Marina dels Estats Units d'Amèrica ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Rang militar | tinent comandant (1946–) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Conflicte | Segona Guerra Mundial ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
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 ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Cònjuge | Nancy Elliot (1942-†1970) Jeanne Steinmetz (1978-1994) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Pares | Gustav Adolph Kleene i Alice Lena Cole |
---|
|
Tanca