Re: Belief & Knowledge

From: Marchal <marchal.domain.name.hidden>
Date: Tue May 8 07:29:24 2001

Brent Meeker wrote:

>There may be more than just a poetic analogy; although the unprovable
>but true formulae that Godel's theorem exhibits are not at all
>ineffable. They are just like the other WFF's and can be added as
>axioms.

Not really. I will try to show (sorry for refering to some futur post)
that
if we just add the unprovable formula to the axioms, then, depending
on the way we make that addition:
    -either the theory becomes inconsistent;
    -or the theory becomes "another theory" (for which consistency
         is still "ineffable"). This can be extended in the (constructive)
         transfinite.

Bruno

PS Thanks for quoting me.
Received on Tue May 08 2001 - 07:29:24 PDT