Residence United States Institutions Duke University Notable awards Gödel Lecturer (1992) Known for Absoluteness Academic advisor Raymond Louis Wilder | Fields Mathematical logic Doctoral advisor Raymond Louis Wilder Alma mater University of Michigan Institution Duke University | |
Thesis Models of Formal Systems (1953) Died 15 November 2000, Durham, North Carolina, United States Books Mathematical logic, Degrees of Unsolvability, Recursion theory | ||
Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician.
Contents
Education
Shoenfield obtained his PhD in 1953 with Raymond Louis Wilder at the University of Michigan (Models of formal systems).
Career
From 1952, he lectured at Duke University, where he remained until becoming Emeritus in 1992. From 1970 to 1973 he was President of the Mathematics Faculty. In 1956/57 he was at the Institute for Advanced Study. Shoenfield worked on recursion theory, model theory and axiomatic set theory. His textbook on mathematical logic has become a classic.
Honors
From 1972 to 1976 he was president of the Association for Symbolic Logic. He delivered the Gödel Lecture at the 1992 meeting of the ASL.
Hobbies
Already in his student days, he was a passionate and strong contract bridge player.