[FOM] Gerald Sacks
Norman Megill
nm at alum.mit.edu
Sat Oct 12 20:31:04 EDT 2019
That is sad news.
I took his introductory logic course in 1989. Since the material was
entirely contained in his lectures (no textbook), I saved my notes and
later scanned them. If anyone wants to see an example of his teaching,
I uploaded them here:
http://us2.metamath.org/downloads/MIT-18.511-fall_1989-Introduction_to_Mathematical_Logic_and_Recursion_Theory.pdf
(14MB)
Norm Megill
On 10/11/19 8:14 PM, Harvey Friedman wrote:
> Gerald E. Sacks, my thesis advisor, died October 4 at the age of 86,
> after a long illness. He was a pioneer in recursion theory, and is
> particularly noted for his celebrated Sacks Density Theorem (there is
> an r.e. degree strictly between any two different comparable r.e.
> degrees) and Sacks forcing (forcing with perfect trees, which he used
> to construct models of ZFC with a minimal degree of
> nonconstructibility).
>
> Gerald was honored In 1994, when the Association of Symbolic Logic
> established the Sacks Prize in his name, which is awarded annually for
> the most outstanding doctoral dissertation in mathematical logic.
>
> Gerald supervised over 30 students, several of whom are among the most
> visible logicians in the world.
>
> Harvey Friedman
More information about the FOM
mailing list