Geburt |
22. März 1933 Brooklyn |
---|---|
Tod |
4. Oktober 2019(bei 86) Falmouth |
Staatsangehörigkeit | amerikanisch |
Ausbildung |
Harvard University Cornell University |
Aktivitäten | Mathematiker , Philosoph , Universitätsprofessor |
Arbeitete für | Massachusetts Institute of Technology , Harvard Universität |
---|---|
Supervisor | John Barkley Rosser |
Unterscheidung | Guggenheim-Stipendium |
Gerald Enoch Sack (geb. 1933 in Brooklyn ) ist ein amerikanischer Mathematiker Logiker , die vor allem in arbeitet Rekursionstheorie .
Gerald E. Sack erhielt einen Ph. D. im Jahr 1961 unter der Leitung von John Barkley Rosser an der Cornell University ( " On Suborderings von Degrees of rekursive Unlösbarkeit " ). Ab 1962 war er Assistenzprofessor und anschließend außerordentlicher 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 (seit 2006 ist er emeritierter Professor) und gleichzeitig seit 1972 Professor an der Harvard University . Er ist Gastprofessor an der Caltech (1983/84) und an der University of Chicago (1988/89).
1966/67 war Gerald E. Sacks Guggenheim Fellow und 1979 Senior Fulbright-Hayes Scholar . 1970 war er Gastredner beim Internationalen Mathematikerkongress in Nizza ( Rekursion in Objekten endlichen Typs ) und 1962 in Stockholm ( rekursiv aufzählbare Grade ).
Zu seinen Schülern zählen Harvey Friedman , Sy Friedman , Leo Harrington , Richard A. Shore , Theodore A. Slaman , Stephen G. Simpson (von) , Lenore Blum und RW Robinson (Professor an der University of Georgia).
Säcke arbeiteten hauptsächlich in der Rekursionstheorie . Sein Dichtesatz besagt, dass rekursiv aufzählbare Turing-Grade dicht sind. Eine Methode des Forcierens , basierend auf perfekten Mengen , trägt seinen Namen (Sacks Forcen).