Gerald Enoch Sacks (1933 - 4 de octubre de 2019) fue un lógico cuyas contribuciones más importantes estaban en la teoría de la recursividad . Su nombre es el forzamiento de Sacks , una noción de forzamiento basada en conjuntos perfectos [1] y el teorema de la densidad de Sacks, que afirma que el orden parcial de los grados de Turing enumerables de forma recursiva 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 una disertación titulada On Suborderings of Degrees of Recursive Insolvability . 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 de modelos saturados , Benjamin 1972; Segunda edición , World Scientific 2010 [8]
- Teoría de la recursividad 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 de conjuntos combinatorios: con una suave introducción al forzamiento , Monografías de Springer en matemáticas, Springer, pp. 380-381, ISBN 9781447121732.
- ^ Soare, Robert I. (1987), Conjuntos y grados recursivamente enumerables: un estudio de funciones computables y conjuntos generados computablemente , Perspectivas en lógica matemática, Springer, p. 245, ISBN 9783540152996.
- ↑ Short CV , 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 recursividad: aspectos computacionales de la definibilidad , ISBN 3110275643 , 2015, pág. 275
- ^ Gerald Sacks en el Proyecto de genealogía matemática
- ^ Revisión de grados de insolubilidad por Kenneth Appel , MR0186554
- ^ Revisión de la teoría del modelo saturado por P. Stepanek, MR0398817
- ^ Revisión de la teoría de recursividad superior por Dag Normann, MR1080970
- ^ Revisión de artículos de lógica seleccionados por Dag Normann, MR1783306