Harvey Friedman <friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz@xxxxxxxxxxxxxxxx>:
> 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-pxSi+dnQzZMxHbG02/KK1g@xxxxxxxxxxxxxxxx
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm
|
