Joseph R. Shoenfield
Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician.
|Joseph Robert Shoenfield|
|Born||Detroit, Michigan, US|
|Died||November 15, 2000
Durham, North Carolina, US
|Alma mater||University of Michigan|
|Known for||Shoenfield absoluteness theorem|
|Awards||Gödel Lecturer (1992)|
|Thesis||Models of Formal Systems (1953)|
|Doctoral advisor||Raymond Louis Wilder|
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.
- Jockusch, Carl G. (2001). "In Memoriam: Joseph R. Shoenfield 1927–2000". The Bulletin of Symbolic Logic. 7 (3): 393–396.
- Shoenfield, Joseph R. (2001) . Mathematical Logic (2nd ed.). A K Peters. ISBN 978-1-56881-135-2.
- Shoenfield, Joseph R. (2000). Recursion Theory. A K Peters Ltd. ISBN 1-56881-149-7.