[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