[FOM] Is Godel's Theorem surprising?

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Sun Dec 10 17:36:14 EST 2006

Harvey Friedman <friedman at math.ohio-state.edu>:

> It would be helpful to the FOM readership for you to give us a reference
> to
> this paper by Putnam. I have serious doubts about the claims you are
> suggesting.

I also have some doubts about these claims, but here is the reference:

Hilary Putnam. "Nonstandard Models and Kripke's Proof of the Gödel 
Theorem", Notre Dame J. Formal Logic  41, no. 1 (2000), 53–58


All the Best,  


Panu Raatikainen

Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
University of Helsinki

E-mail: panu.raatikainen at helsinki.fi

More information about the FOM mailing list