[FOM] Falsify Platonism?
hendrik at topoi.pooq.com
Fri Apr 23 05:42:31 EDT 2010
On Thu, Apr 22, 2010 at 02:34:21PM +1200, Bill Taylor wrote:
> Lucas Kruijswijk <L.B.Kruijswijk at inter.nl.net> wrote:
> -> Hilbert's program contains hard tests, which are mostly
> -> proven to be impossible. Is there any hard test that can
> -> falsify Platonism?
> If a contradiction is derived from PA, that will falsify Platonism.
> (Strictly speaking, that falsifies numerical Platonism; it might be easier
> still to falsify set-theoretic Platonism.)
So far, whenever anyone derives contradictions from set theory,
the response has not been to discard set-theoretic platonism, but
to change set theory.
More information about the FOM