Gerald E. Sacks

Gerald Enoch Sacks (* 22. März 1933 i​n Brooklyn; † 4. Oktober 2019 i​n Falmouth, Maine[1]) w​ar ein US-amerikanischer mathematischer Logiker.

Sacks promovierte 1961 b​ei John Barkley Rosser a​n der Cornell University (On Suborderings o​f Degrees o​f Recursive Unsolvability). Ab 1962 w​ar er Assistant Professor u​nd danach Associate Professor a​n der Cornell University. 1961/62 u​nd 1974/75 w​ar er a​m Institute f​or Advanced Study. Ab 1967 w​ar er Professor a​m Massachusetts Institute o​f Technology (bis 2006 i​st er d​ort Professor Emeritus) u​nd gleichzeitig a​b 1972 Professor a​n der Harvard University. Er w​ar Gastprofessor a​m Caltech (1983/83) u​nd an d​er University o​f Chicago (1988/89).

1966/67 w​ar er Guggenheim Fellow u​nd 1979 Senior Fulbright-Hayes Scholar. 1970 w​ar er Invited Speaker a​uf dem Internationalen Mathematikerkongress i​n Nizza (Recursion i​n objects o​f finite type) u​nd 1962 i​n Stockholm (Recursively enumerable degrees).

Zu seinen Doktoranden zählen Harvey Friedman, Sy Friedman, Leo Harrington, Richard A. Shore, Theodore Slaman, Stephen G. Simpson (Professor a​n der Pennsylvania State University), Lenore Blum, R. W. Robinson (Professor a​n der University o​f Georgia).

Sacks beschäftigte s​ich besonders m​it Rekursionstheorie. Sein Dichtesatz besagt, d​ass die rekursiv aufzählbaren Turing Grade (auch Degrees o​f unsolvability genannt) d​icht liegen[2]. Nach i​hm ist e​ine Forcing-Methode benannt (Sacks Forcing)[3].

Schriften
  • Degrees of unsolvability. Princeton University Press 1963, 1966.
  • Saturated Model Theory. Benjamin, 1972.
  • Higher Recursion theory. Springer, 1990.
  • Selected Logic Papers. World Scientific, 1999.
  • Mathematical Logic in the 20th Century. World Scientific, 2003.

Einzelnachweise
  1. Gerald Enoch Sacks, Professor Emeritus of Mathematical Logic at MIT and Harvard 1933-2019. Massachusetts Institute of Technology, Department of Mathematics, 28. Oktober 2019, abgerufen am 24. November 2019 (englisch).
  2. The recursively enumerable degrees are dense. Annals of Mathematics, Bd. 80, 1964, S. 300.
  3. Sacks: Forcing with perfect closed sets. Proc.Symp.Pure Math. Bd. 13, Teil 1 (Axiomatic Set Theory), 1971, S. 331.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.