[FOM] Platonism, and Nik Weaver's take on ZFC
Timothy Y. Chow
tchow at alum.mit.edu
Mon Apr 26 22:02:21 EDT 2010
Tom Dunion wrote:
> In this connection, but going a bit further, I note Nik Weaver?s
> ?liar paradox? post of April 14 has a pointer to his website,
> where in item 4 he raises the concern that even if ZFC is
> consistent, there are ?good reasons to suspect that some
> number-theoretic assertions provable in ZFC may be false."
This has been discussed on FOM before. See for example
http://cs.nyu.edu/pipermail/fom/2009-May/013641.html
and the subsequent discussion.
Tim
More information about the FOM
mailing list