American logician (1933–2019)
Gerald Enoch Sacks (1933 – 4 de octubre de 2019) fue un lógico estadounidense cuyas contribuciones más importantes fueron en la teoría de la recursión . En su honor se nombra el forzamiento de Sacks , una noción de forzamiento basada en conjuntos perfectos [1] y el Teorema de densidad de Sacks, que afirma que el orden parcial de los grados de Turing recursivamente enumerables es denso . [2] Sacks tuvo un nombramiento conjunto como profesor en el Instituto Tecnológico de Massachusetts y en la Universidad de Harvard a partir de 1972 y se convirtió en emérito del MIT en 2006 y de Harvard en 2012. [3] [4] [5]
Sacks nació en Brooklyn en 1933. Obtuvo su doctorado en 1961 en la Universidad de Cornell bajo la dirección de J. Barkley Rosser , con su disertación On Suborderings of Degrees of Recursive Insolvability . Entre sus estudiantes notables se encuentran Lenore Blum , Harvey Friedman , Sy Friedman , Leo Harrington , Richard Shore , Steve Simpson y Theodore Slaman . [6]
Publicaciones seleccionadas
- Grados de insolubilidad, Princeton University Press 1963, 1966 [7]
- Teoría de modelos saturados , Benjamin 1972; 2.ª edición, World Scientific 2010 [8]
- Teoría de la recursión superior , Springer 1990 [9]
- Artículos de lógica seleccionados , World Scientific 1999 [10]
- La lógica matemática en el siglo XX , World Scientific 2003
Referencias
- ^ Halbeisen, Lorenz J. (2011), Teoría de conjuntos combinatorios: con una introducción sencilla al forzamiento, Springer Monographs in Mathematics, Springer, págs. 380–381, ISBN 9781447121732.
- ^ Soare, Robert I. (1987), Conjuntos y grados recursivamente enumerables: un estudio de funciones computables y conjuntos generados computacionalmente, Perspectivas en lógica matemática, Springer, pág. 245, ISBN 9783540152996.
- ^ CV corto, consultado el 26 de junio de 2015.
- ^ "El profesor Gerald Sacks se retira del MIT" (PDF) , Integral: Noticias del Departamento de Matemáticas del MIT , 1 : 6, otoño de 2006.
- ^ Chi Tat Chong, Yue Yang, "Una entrevista con Gerald E. Sacks", Teoría de la recursión: aspectos computacionales de la definibilidad , ISBN 3110275643 , 2015, pág. 275
- ^ Gerald Sacks en el Proyecto de Genealogía Matemática
- ^ Reseña de Grados de insolubilidad de Kenneth Appel , MR 0186554
- ^ Revisión de la teoría de modelos saturados de P. Stepanek, MR 0398817
- ^ Revisión de la teoría de la recursión superior por Dag Normann, MR 1080970
- ^ Revisión de artículos de lógica seleccionados de Dag Normann, MR 1783306