[FOM] inconsistency of P
Timothy Y. Chow
tchow at alum.mit.edu
Mon Oct 3 18:56:16 EDT 2011
On Mon, 3 Oct 2011, Aatu Koskensilta wrote:
> When we say that (arbitrarily large) naturals don't really exist, just
> what are we denying?
I'd say that the way to think about it is to regard mathematical
statements as physical theories that make predictions about our physical
experience. To doubt that arbitrarily large naturals exist is to doubt
that we are justified in believing that our everyday experience with
physical quantities of small finite cardinality extrapolates in the
"obvious" way to physical quantities with arbitrarily large finite
cardinality.
Similarly, to doubt that there really exists a strongly inaccessible
cardinal is to doubt (among other things) that we are justified in
believing that nobody will ever discover a feasible contradiction in ZFC.
Tim
More information about the FOM
mailing list