Re: Python from Wise Guy's Viewpoint

From: Ray Blaak (rAYblaaK_at_STRIPCAPStelus.net)
Date: 10/30/03 

Date: Thu, 30 Oct 2003 08:26:21 GMT

Aatu Koskensilta <aatu.koskensilta@xortec.fi> writes:
> Ray Blaak wrote:
> > The clearest, simplest, most elegant presentation of Goedel's result
> > I have seen is called "Beautifying Gödel", by Eric C.R. Hehner
> > (my old supervisor in fact) at http://www.cs.toronto.edu/~hehner/God.pdf
>
> There is at least one error in this presentation. Gödel's second
> incompleteness theorem does not say that [you can't fix things by adding
> axioms] but that [a theorey cannot prove its own consistency]

Hmm. Upon digging a bit I am running into discussions of Löb's theorem and
Kreisel's proof of *that* by showing adding axioms still give trouble.

So perhaps the paper was saying an indirect result. Still, you are right,
that's not what Gödel was directly saying. 

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.