Gerald Sacks

Gerald Sacks Enoch ( born 1933 in Brooklyn ) is an American mathematical logician.

Sacks earned his doctorate in 1961 at John Barkley Rosser at Cornell University (On Suborderings of Degrees of Recursive Unsolvability ). From 1962 he was assistant professor and then associate professor at Cornell University. 1961/62 and 1974/75 he was at the Institute for Advanced Study. From 1967 he was a professor at the Massachusetts Institute of Technology (until 2006 where he has been Professor Emeritus), while from 1972 a professor at Harvard University. He was a visiting professor at Caltech (1983 /83) and at the University of Chicago (1988 /89).

1966/67, he was a Guggenheim Fellow and 1979 Senior Fulbright -Hayes Scholar. In 1970 he was invited speaker at the International Congress of Mathematicians in Nice ( Recursion in objects of finite type) and 1962 in Stockholm ( Recursively enumerable degrees ).

His doctoral include Harvey Friedman, Sy Friedman, Leo Harrington, Richard A. Shore, Theodore Slaman, Stephen G. Simpson (Professor at the Pennsylvania State University), Lenore Blum, RW Robinson (Professor at the University of Georgia ).

Sacks has focused particularly on recursion. Its density theorem says that the recursively enumerable Turing degrees (also Degrees of unsolvability called ) are close. According to him, a forcing method is named (Sacks forcing ).

Writings

  • 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
J. Barkley Rosser Richard Shore Name Authority File
259423
de