Re: Goedel - interesting problem?

From: Chris Menzel (cmenzel_at_remove-this.tamu.edu)
Date: 06/06/04 

Date: 6 Jun 2004 04:47:20 GMT

On 5 Jun 2004 13:23:08 -0500, Acme Diagnostics
<LFinezapthis@partpostmark.net> said:
>
> Torkel Franzen <torkel@sm.luth.se> wrote:
> You said:
> >>there are statements that can be formulated within the theory, but
> >>neither proved nor disproved in the theory
>
> Which is superseded in all respects of explanation by Dolan's:
> >>>Goedel's incompleteness theorem only shows that some true
> >>>math facts cannot be proved within math, not that none of
> >>>them can.

Acme, in all sincerity, Torkel's formulation is about as accurate a
statement of Godel's theorem as you'll get in nontechnical language.
Dolan's "explanation" is really quite bad. Most notably, the reference
to theories -- sets of axioms -- in Torkel's version, as opposed to the
ill-defined "math" in Dolan's, is absolutely essential to getting the
theorem right. But this is one of those things that require some study
to appreciate. Without it, you'll just be drawn to whatever happens to
tickle your ears, with no basis for distinguishing truth from fiction.

> Upon more criticism of the author's piece, I asked:
> >I notice that you did not claim a phd, support of a university, etc.
> >Do you have some pertinent credentials that I could find reliable
> >in comparison to the author's, some of which I've mentioned?
>
> To which you again did not respond.

Google.

Chris Menzel

Relevant Pages

  • Re: dict is really slow for big truck
    ... arr = line.strip.split ... this formulation around various places. ... When does line.strip.splitever differ from line.split? ... <explanation of what split does> ...
    (comp.lang.python)
  • Re: Prefered resistor range
    ... Fred Bloggs wrote: ... > Well- I am here to tell you that 1) the explanation about color contrast ... > simple formulation to calculate precisely every single value to three ...
    (sci.electronics.design)
  • Re: dict is really slow for big truck
    ... arr = line.strip.split ... this formulation around various places. ... When does line.strip.splitever differ from line.split? ... From the explanation it's clear that the .stripis unnecessary. ...
    (comp.lang.python)