Education
Shoenfield obtained his Doctor of Philosophy in 1953 with Raymond Louis Wilder at the University of Michigan (Models of formal systems).
mathematician university professor
Shoenfield obtained his Doctor of Philosophy in 1953 with Raymond Louis Wilder at the University of Michigan (Models of formal systems).
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. Already in his student days, he was a passionate and strong contract bridge player.