American logician (1933–2019)
Gerald Enoch Sacks (1933 - 4 de octubre de 2019) fue un lógico cuyas contribuciones más importantes fueron en la teoría de la recursividad . Su nombre lleva 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 de Tecnología de Massachusetts y en la Universidad de Harvard a partir de 1972 y se convirtió en emérito en el MIT en 2006 y en Harvard en 2012. [3] [4] [5]
Sacks nació en Brooklyn en 1933. Obtuvo su doctorado. en 1961 de la Universidad de Cornell bajo la dirección de J. Barkley Rosser , con su disertación Sobre subordenamientos de grados de insolvabilidad recursiva . Entre sus alumnos 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 del modelo saturado , Benjamin 1972; 2da 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]
- Lógica matemática en el siglo XX , World Scientific 2003
Referencias
- ^ Halbeisen, Lorenz J. (2011), Teoría combinatoria de conjuntos: con una suave introducción al forzamiento, monografías de Springer en matemáticas, Springer, págs. 380–381, ISBN 9781447121732.
- ^ Soare, Robert I. (1987), Grados y conjuntos enumerables recursivamente: un estudio de funciones computables y conjuntos generados computablemente, perspectivas en lógica matemática, Springer, p. 245, ISBN 9783540152996.
- ^ CV breve, 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. 275
- ^ Gerald Sacks en el Proyecto de genealogía de matemáticas
- ^ Repaso de Grados de insolubilidad por Kenneth Appel , MR 0186554
- ^ Revisión de la teoría del modelo saturado por P. Stepanek, MR 0398817
- ^ Revisión de la teoría de la recursividad superior por Dag Normann, MR 1080970
- ^ Revisión de artículos de lógica seleccionados por Dag Normann, MR 1783306
