Gerald Sacks

Gerald Enoch Sacks (born 1933, Brooklyn) is a logician who holds a joint appointment at Harvard University as a Professor of Mathematical Logic and the Massachusetts Institute of Technology as a Professor Emeritus.[1][2] His most important contributions have been in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets[3] and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense.[4]

Sacks earned his Ph.D. in 1961 from Cornell University under the direction of J. Barkley Rosser, with a dissertation entitled 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.[5]

Selected publications

References

  1. Short CV, retrieved 2015-06-26.
  2. "Professor Gerald Sacks Retires from MIT" (PDF), Integral: News from the Mathematics Department at MIT 1, Autumn 2006: 6.
  3. Halbeisen, Lorenz J. (2011), Combinatorial Set Theory: With a Gentle Introduction to Forcing, Springer Monographs in Mathematics, Springer, pp. 380–381, ISBN 9781447121732.
  4. Soare, Robert I. (1987), Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, Perspectives in Mathematical Logic, Springer, p. 245, ISBN 9783540152996.
  5. Gerald Sacks at the Mathematics Genealogy Project
  6. Review of Degrees of unsolvability by Kenneth Appel, MR 0186554
  7. Review of Saturated model theory by P. Stepanek, MR 0398817
  8. Review of Higher recursion theory by Dag Normann, MR 1080970
  9. Review of Selected logic papers by Dag Normann, MR 1783306


This article is issued from Wikipedia - version of the Friday, May 06, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.