Quelltext der Seite Gerald E. Sacks

'''Gerald Enoch Sacks''' (* [[22. März]] [[1933]] in [[Brooklyn]]; † [[4. Oktober]] [[2019]] in [[Falmouth (Maine)|Falmouth]], [[Maine]]<ref>{{Internetquelle|url=https://math.mit.edu/about/history/obituaries/sacks.php|titel=Gerald Enoch Sacks, Professor Emeritus of Mathematical Logic at MIT and Harvard 1933-2019|hrsg=Massachusetts Institute of Technology, Department of Mathematics|datum=2019-10-28|zugriff=2019-11-24|sprache=en}}</ref>) war ein US-amerikanischer mathematischer [[Logik]]er.

Sacks promovierte 1961 bei [[John Barkley Rosser]] an der [[Cornell University]] (''On Suborderings of Degrees of Recursive Unsolvability''). Ab 1962 war er Assistant Professor und danach Associate Professor an der Cornell University. 1961/62 und 1974/75 war er am [[Institute for Advanced Study]]. Ab 1967 war er Professor am [[Massachusetts Institute of Technology]] (bis 2006 ist er dort Professor Emeritus) und gleichzeitig ab 1972 Professor an der [[Harvard University]]. Er war Gastprofessor am [[Caltech]] (1983/83) und an der [[University of Chicago]] (1988/89).

1966/67 war er [[Guggenheim-Stipendium|Guggenheim Fellow]] und 1979 Senior Fulbright-Hayes Scholar. 1970 war er Gastredner auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] in [[Nizza]] (''Recursion in objects of finite type'') und 1962 in Stockholm (''Recursively enumerable degrees'').

Zu seinen Doktoranden zählen [[Harvey Friedman (Mathematiker)|Harvey Friedman]], [[Sy Friedman]], [[Leo Harrington]], [[Richard A. Shore]], [[Theodore Slaman]], [[Stephen G. Simpson]] (Professor an der Pennsylvania State University), [[Lenore Blum]], R. W. Robinson (Professor an der University of Georgia).

Sacks beschäftigte sich besonders mit [[Rekursionstheorie]]. Sein Dichtesatz besagt, dass die rekursiv aufzählbaren Turing Grade (auch ''Degrees of unsolvability'' genannt) dicht liegen<ref>''The recursively enumerable degrees are dense.'' Annals of Mathematics, Bd. 80, 1964, S.&nbsp;300.</ref>. Nach ihm ist eine [[Forcing]]-Methode benannt (Sacks Forcing)<ref>Sacks: ''Forcing with perfect closed sets.'' Proc.Symp.Pure Math. Bd. 13, Teil 1 (Axiomatic Set Theory), 1971, S.&nbsp;331.</ref>.

== 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.

== Weblinks ==
* [https://people.math.harvard.edu/~sacks/ Homepage]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=128780770|LCCN=n83827676|VIAF=32075782}}

{{SORTIERUNG:Sacks, Gerald E}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Massachusetts Institute of Technology)]]
[[Kategorie:Hochschullehrer (Harvard University)]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1933]]
[[Kategorie:Gestorben 2019]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Sacks, Gerald E.
|ALTERNATIVNAMEN=Sacks, Gerald Enoch (vollständiger Name)
|KURZBESCHREIBUNG=US-amerikanischer mathematischer Logiker
|GEBURTSDATUM=22. März 1933
|GEBURTSORT=[[Brooklyn]]
|STERBEDATUM=4. Oktober 2019
|STERBEORT=[[Falmouth (Maine)]]
}}