[FOM] Infinity and the "Noble Lie"
joeshipman at aol.com
Sun Jan 8 22:29:21 EST 2006
To "justify" a theorem which has been proven in some formal system
means to "give an explanation why we should accept the axioms the
therem is proved from".
From: Giovanni Lagnese <lagnese at ngi.it>
To: Foundations of Mathematics <fom at cs.nyu.edu>
Sent: Sun, 8 Jan 2006 05:30:59 +0100
Subject: Re: [FOM] Infinity and the "Noble Lie"
> It is possible to express, and prove, the Paris-Harrington Theorem
> in many other formal systems, but any such proof will, I contend,
> at some point invoke an axiom which cannot be justified without
> reference to actually infinite sets, or structures of other types
> whose domain is necessarily infinite.
So, you think the Paris-Harrington statement itself cannot be
without reference to actually infinite sets?
What does "justify" mean?
More information about the FOM