Date: Apr 13, 2013 2:15 PM
Author: Frederick Williams
Subject: Re: Matheology § 224

Nam Nguyen wrote:
>
> On 13/04/2013 9:54 AM, Frederick Williams wrote:

> > Nam Nguyen wrote:
> >

> >> In so far as a _perceived_ language structure would enable
> >> us to interpret the concept of the natural numbers, such
> >> a perception is a theology; in it, there are 2 offshoot
> >> theologies which we'll _forever_ (i.e. even in principle of
> >> logic) struggle to choose for acceptance:
> >>
> >> - cGC being true
> >> - ~cGC being true.

> >
> > You have no reason to suppose that anyone (never mind "we") will forever
> > struggle to accept either.

>
> I do. The truths of however infinitely many Induction-schema axioms in
> PA are theological truths we all have assumed.
>
> All we need to do is to prove the truth value of these 2 formulas can
> _not_ be finitely or inductively described. And we can prove that.


If that will settle the matter, then do it.

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