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. He was an early member Number 694 of the American Go Association and the Memorial Tournament in North Carolina was founded in his memory. (The link includes a photograph of him.)
- 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.