Joseph R. Shoenfield

Joseph Robert Shoenfield (1 May 1927 in Detroit, Michigan to 15 November 2000 in Durham, North Carolina) was an American mathematical logician who worked on recursion theory, model theory and axiomatic set theory. He obtained his doctorate in 1953 at the University of Michigan under Raymond Louis Wilder, with a thesis on models of formal systems. From 1952 he lectured at Duke University, where he remained until becoming emeritus in 1992, and from 1970 to 1973 he was president of the mathematics faculty. He spent 1956 and 1957 at the Institute for Advanced Study. His textbook on mathematical logic has become a classic. He was president of the Association for Symbolic Logic from 1972 to 1976 and delivered the Godel Lecture at its 1992 meeting.