[FOM] Is Godel's Theorem surprising?

[praatika@mappi.helsinki.fi]

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

http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1027953483


All the Best,  

Panu



Panu Raatikainen

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


E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm