Yet another inane amateur Godel question
- From: Edward Green <spamspamspam3@xxxxxxxxxxx>
- Date: Wed, 17 Jun 2009 14:22:55 -0700 (PDT)
From my partial understanding, the proof seems to contain in outlinethe idea that any sufficiently strong formal system for generating
proofs allows formation of the sentence "this sentence is
undecidable", with the obvious result. One's first reaction is that
there should be a way to rule out such things as valid sentences:
after all, if one is out to prove things about the integers, say, such
a self referential "theorem" has nothing to say about the integers, so
who cares that it is in fact undecidable?
OK.... this is based on shoddy amateur understanding, but at least I'm
not asking if we've proved that all human knowledge must be
incomplete, or something. ;-)
.
- Follow-Ups:
- Re: Yet another inane amateur Godel question
- From: Arturo Magidin
- Re: Yet another inane amateur Godel question
- Prev by Date: Re: - - Divisibility (involving gcd's)
- Next by Date: Re: Understanding the quotient ring nomenclature
- Previous by thread: Test bank
- Next by thread: Re: Yet another inane amateur Godel question
- Index(es):