Gerald Enoch Sacks (1933 – 4. Oktober 2019) war ein US-amerikanischer Logiker, dessen wichtigste Beiträge zur Rekursionstheorie lagen . Nach ihm benannt sind das Sacks-Forcing , ein auf perfekten Mengen basierendes Forcing- Konzept [ 1 ] , und der Sacks-Dichtesatz, der besagt, dass die partielle Ordnung der rekursiv aufzählbaren Turing-Grade dicht ist [ 2 ] . Sacks hatte ab 1972 eine gemeinsame Professur am Massachusetts Institute of Technology (MIT) und an der Harvard University inne und wurde 2006 am MIT und 2012 in Harvard emeritiert [ 3 ] [ 4 ] [ 5 ].

Sacks wurde 1933 in Brooklyn geboren . Er promovierte 1961 an der Cornell University unter der Betreuung von J. Barkley Rosser mit seiner Dissertation „ Über Unterordnungen von Graden rekursiver Unlösbarkeit“ . Zu seinen namhaften Studenten zählen Lenore Blum , Harvey Friedman , Sy Friedman , Leo Harrington , Richard Shore , Steve Simpson und Theodore Slaman . [ 6 ]

Ausgewählte Publikationen

  • Grade der Unlösbarkeit , Princeton University Press 1963, 1966 [ 7 ]
  • Theorie des gesättigten Modells , Benjamin 1972; 2. Auflage , World Scientific 2010 [ 8 ]
  • Höhere Rekursionstheorie , Springer 1990 [ 9 ]
  • Ausgewählte logische Aufsätze , World Scientific 1999 [ 10 ]
  • Mathematische Logik im 20. Jahrhundert , World Scientific 2003

Referenzen

  1. ^ Halbeisen, Lorenz J. (2011), Kombinatorische Mengenlehre: Eine sanfte Einführung in Forcing , Springer Monographs in Mathematics, Springer, S.  380–381 , ISBN 9781447121732Die
  2. ^ Soare, Robert I. (1987), Rekursiv aufzählbare Mengen und Grade: Eine Studie über berechenbare Funktionen und berechenbar erzeugte Mengen , Perspektiven der mathematischen Logik, Springer, S. 245, ISBN 9783540152996Die
  3. ^ Kurzer Lebenslauf , abgerufen am 26.06.2015.
  4. ^ „Professor Gerald Sacks tritt vom MIT in den Ruhestand“ (PDF) , Integral: Neuigkeiten aus dem Fachbereich Mathematik des MIT , 1 :6, Herbst 2006Die
  5. ^ Chi Tat Chong, Yue Yang, „Ein Interview mit Gerald E. Sacks“, Rekursionstheorie: Computergestützte Aspekte der Definierbarkeit , ISBN 3110275643, 2015, S. 275
  6. ^ Gerald Sacks beim Mathematik-Genealogie-Projekt
  7. ^ Rezension von „Degrees of unsolvability“ von Kenneth Appel , MR 0186554 
  8. ^ Rezension der Theorie gesättigter Modelle von P. Stepanek, MR 0398817 
  9. ^ Rezension von „Higher recursion theory“ von Dag Normann, MR 1080970 
  10. ^ Rezension ausgewählter Logik-Aufsätze von Dag Normann, MR 1783306