Joseph R. Shoenfield
Joseph Robert Shoenfield (* 1927 in Detroit ; † November 15, 2000 in Durham (North Carolina) ) was an American mathematical logician.
Shoenfield received his PhD in 1953 from Raymond Louis Wilder at the University of Michigan (Models of formal systems). From 1952 he taught at Duke University , where he stayed until his retirement in 1992. 1970 to 1973 he was chairman of the mathematics faculty. In 1956/57 he was at the Institute for Advanced Study .
Shoenfield dealt with recursion theory , model theory and axiomatic set theory. His textbook on mathematical logic is considered a classic.
From 1972 to 1976 he was president of the Association for Symbolic Logic . In 1992 he was a Gödel lecturer .
He had been a passionate and strong bridge player since student days .
Fonts
- Mathematical Logic, Addison-Wesley 1967, 2nd edition, Association for Symbolic Logic, 2000
- Degrees of unsolvability, North Holland Mathematical Studies 1971
- Recursion theory, Springer 1993
Web links
Individual evidence
- ↑ Jockusch, obituary in the Bulletin of Symbolic Logic 2000
| personal data | |
|---|---|
| SURNAME | Shoenfield, Joseph R. |
| ALTERNATIVE NAMES | Shoenfield, Joseph Robert (full name) |
| BRIEF DESCRIPTION | American logician |
| DATE OF BIRTH | 1927 |
| PLACE OF BIRTH | Detroit , Michigan |
| DATE OF DEATH | November 15, 2000 |
| Place of death | Durham , North Carolina |