[FOM] 511: A Supernatural Consistency Proof for Mathematics

Harvey Friedman hmflogic at gmail.com
Mon Jan 14 01:12:53 EST 2013

Con(ZFC) is not a natural principle when thinking about rainbows,
horizons, and beauty.


On Sat, Jan 12, 2013 at 3:44 PM, Vaughan Pratt <pratt at cs.stanford.edu> wrote:
> On 1/10/2013 6:19 PM, Harvey Friedman wrote:
>> CONJECTURE. In ANY informal conceptual environment, we can formulate
>> principles that are natural and sensitive and plausible in that
>> environment, which are mutually interpretable with ZFC, and weak and
>> strong variants of ZFC.}
> I'm not sure I understand your conjecture, Harvey.  Which of its conditions
> are not met by the principle Con(ZFC)?
> Vaughan Pratt
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list