Re: Python from Wise Guy's Viewpoint

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

Date: 31 Oct 2003 09:02:20 +0100

Ray Blaak <rAYblaaK@STRIPCAPStelus.net> writes:

> In particular, Gödel sentences don't seem to have any truth meaning: any
> attempt to evaluate them give rises to the cyclical spinning of true then
> false then true..., i.e. an infinite loop in practical terms.

  Not at all. The Gödel sentence for a theory T is equivalent to "T is
consistent", and this equivalence is provable in T itself.