Joseph Robert Shoenfield (1927, Detroit - 15 de noviembre de 2000, Durham, Carolina del Norte ) fue un lógico matemático estadounidense.
Shoenfield obtuvo su doctorado en 1953 con Raymond Louis Wilder en la Universidad de Michigan ( Modelos de sistemas formales ).
A partir de 1952, impartió clases en la Universidad de Duke , donde permaneció hasta convertirse en emérito en 1992. De 1970 a 1973 fue presidente de la facultad de matemáticas. En 1956/57 estuvo en el Instituto de Estudios Avanzados . Shoenfield trabajó en la teoría de la recursividad , la teoría de modelos y la teoría de conjuntos axiomáticos . Su libro de texto sobre lógica matemática se ha convertido en un clásico. [2]
De 1972 a 1976 fue presidente de la Asociación de Lógica Simbólica . Pronunció la Conferencia Gödel en la reunión de 1992 de la ASL. [3]
Ya en su época de estudiante, Schoenfield era un apasionado y fuerte jugador de bridge por contrato . Fue uno de los primeros miembros [4] de la American Go Association ; El torneo conmemorativo en Carolina del Norte se fundó en su memoria. [5]