Date: Apr 13, 2013 11:57 AM Author: Frederick Williams Subject: Re: Matheology § 224 Nam Nguyen wrote:
> But if GC is undecidable in PA, there's no proof left in FOL but
> _structure theoretically verifying_ the truth value of GC in
> this structure.
If GC is undecidable in PA, then it's true.
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting