Re: Python from Wise Guy's Viewpoint

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 10/29/03 

Date: 29 Oct 2003 05:28:11 -0800

Ray Blaak <rAYblaaK@STRIPCAPStelus.net> wrote in message news:<uk76oio9l.fsf@STRIPCAPStelus.net>...

> 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
>
> It is quite instructive, going right to the heart of the issues. It also deals
> with the "G v ~G" business above.

 As pointed out by Aatu, this paper, which would be better titled
"Mangling Gödel", contains some odd misconceptions, including a
highly original one about the second incompleteness theorem.