José R. Shoenfield
José Robert Shoenfield | |
|---|---|
| Nacido | Detroit , Michigan, Estados Unidos |
| Fallecido | 15 de noviembre de 2000 (15 de noviembre de 2000)(73 años) Durham , Carolina del Norte, Estados Unidos |
| Alma máter | Universidad de Michigan |
| Conocido por | Teorema de absolutismo de Shoenfield |
| Premios | Conferencia Gödel (1992) |
| Carrera científica | |
| Campos | Lógica matemática |
| Instituciones | Universidad de Duke |
| Tesis | Modelos de sistemas formales (1953) |
| Asesor de doctorado | Raymond Louis Wilder [1] |
Joseph Robert Shoenfield (1927, Detroit – 15 de noviembre de 2000, Durham, Carolina del Norte ) fue un lógico matemático estadounidense.
Educación
Shoenfield obtuvo su doctorado en 1953 con Raymond Louis Wilder en la Universidad de Michigan ( Modelos de sistemas formales ).
Carrera
Desde 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 recursión , 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]
Honores
De 1972 a 1976 fue presidente de la Asociación de Lógica Simbólica . En la reunión de 1992 de la ASL pronunció la conferencia Gödel. [3]
Pasatiempos
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 Asociación Americana de Go ; el torneo conmemorativo en Carolina del Norte se fundó en su memoria. [5]
Publicaciones seleccionadas
- Lógica matemática, Addison Wesley 1967, 2.ª edición, Association for Symbolic Logic, 2001 [6]
- Grados de insolubilidad, Estudios matemáticos de Holanda Septentrional 1971
- Teoría de la recursión, Springer 1993 [7]
Notas
- ^ Joseph R. Shoenfield en el Proyecto de Genealogía Matemática
- ^ Jockusch 2001, pág. 393.
- ^ "Conferencias Gödel, Asociación de Lógica Simbólica". Archivado desde el original el 23 de septiembre de 2015 . Consultado el 26 de diciembre de 2015 .
- ^ Número 694
- ^ "Torneo de Go Triangle Memorial".
- ^ Shoenfield 2001.
- ^ Shoenfield 2000.
Referencias
- Jockusch, Carl G. (2001). "In Memoriam: Joseph R. Shoenfield 1927–2000". Boletín de lógica simbólica . 7 (3): 393–396. doi : 10.1017/S1079898600005746 .
- Shoenfield, Joseph R. (2001) [1967]. Lógica matemática (2.ª ed.). AK Peters . ISBN 978-1-56881-135-2.
- Shoenfield, Joseph R. (2000). Teoría de la recursión . AK Peters Ltd. ISBN 1-56881-149-7.
