[FOM] Gerald Sacks

[Norman Megill]

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