Gerald Sacks

{{Short description|American logician (1933–2019)}}

Gerald Enoch Sacks (1933 – October 4, 2019) was an American logician whose most important contributions were in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets{{citation|title=Combinatorial Set Theory: With a Gentle Introduction to Forcing|series=Springer Monographs in Mathematics|first=Lorenz J.|last=Halbeisen|publisher=Springer|year=2011|isbn=9781447121732|pages=380–381|url=https://books.google.com/books?id=NZVb54INnywC&pg=PA380}}. and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense.{{citation|title=Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets|series=Perspectives in Mathematical Logic|first=Robert I.|last=Soare|publisher=Springer|year=1987|isbn=9783540152996|page=245|url=https://books.google.com/books?id=9I7Pl00LU5gC&pg=PA245}}. Sacks had a joint appointment as a professor at the Massachusetts Institute of Technology and at Harvard University starting in 1972 and became emeritus at M.I.T. in 2006 and at Harvard in 2012.[http://www.math.harvard.edu/~sacks/Short%20CV.pdf Short CV], retrieved 2015-06-26.{{citation|url=https://math.mit.edu/news/integral/integral_2006.pdf|journal=Integral: News from the Mathematics Department at MIT|page=6|title=Professor Gerald Sacks Retires from MIT|date=Autumn 2006|volume=1}}.Chi Tat Chong, Yue Yang, "An interview with Gerald E. Sacks", Recursion Theory: Computational Aspects of Definability, {{isbn|3110275643}}, 2015, [https://books.google.com/books?id=_axUCgAAQBAJ&pg=PA275&lpg=PA275 p. 275]

Sacks was born in Brooklyn in 1933. He earned his Ph.D. in 1961 from Cornell University under the direction of J. Barkley Rosser, with his dissertation On Suborderings of Degrees of Recursive Insolvability. Among his notable students are Lenore Blum, Harvey Friedman, Sy Friedman, Leo Harrington, Richard Shore, Steve Simpson and Theodore Slaman.{{MathGenealogy |id=22616}}

Selected publications

  • [https://books.google.com/books/about/Degrees_of_Unsolvability.html?id=ZXEJGn_T0A4C Degrees of unsolvability], Princeton University Press 1963, 1966Review of Degrees of unsolvability by Kenneth Appel, {{MR|0186554}}
  • Saturated Model Theory, Benjamin 1972; [https://books.google.com/books/about/Saturated_Model_Theory_2nd_Edition.html?id=xLFI9fOozVoC 2nd edition], World Scientific 2010Review of Saturated model theory by P. Stepanek, {{MR|0398817}}
  • Higher Recursion theory, Springer 1990Review of Higher recursion theory by Dag Normann, {{MR|1080970}}
  • Selected Logic Papers, World Scientific 1999Review of Selected logic papers by Dag Normann, {{MR|1783306}}
  • Mathematical Logic in the 20th Century, World Scientific 2003

References