[FOM] 511: A Supernatural Consistency Proof for Mathematics

[Harvey Friedman]

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

Harvey

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