Date: Apr 13, 2013 11:59 AM
Author: Frederick Williams
Subject: Re: Matheology § 224

Nam Nguyen wrote:

> You can prove that it's impossible to structure theoretically
> verify the truth value of either cGC or ~cGC, using some logic
> anti-induction principles.


Can _you_ prove it? If not, your words are empty; if you can, get on
with it.

> The problem is that you, we, have been so "trained" on IP (Induction
> Principle) that we _don't even suspect_ IP has some loopholes.
>
> It does!


--
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