Name Gerald Sacks | Role Professor of mathematics | |
 | ||
Awards Guggenheim Fellowship for Natural Sciences, US & Canada Books Higher recursion theory, Degrees of Unsolvability (AM‑55), Saturated model theory Similar People | ||
Gerald sacks reflections on g del
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. His most important contributions have been in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets and the Sacks Density Theorem, which asserts that the partial order of the recursively enumerable Turing degrees is dense.
Contents
- Gerald sacks reflections on g del
- Gerald sacks s talk at the constructive in logic and applications 2012
- Selected publications
- References
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.