Newbie question regarding Godel's Incompleteness Theorem
- From: Scott <ToaTerra@xxxxxxxxx>
- Date: Mon, 2 Mar 2009 12:32:10 -0800 (PST)
Hi: Have a newbie question regarding Godel's Incompleteness Theorem.
When Godel constructs the statement G, which is undecidable, why is it
not considered to show an inconsistency? Doesn't the law of the
excluded middle state that either G or ~G must be provable in the
system?
Thanks
Scott
.
- Follow-Ups:
- Re: Newbie question regarding Godel's Incompleteness Theorem
- From: Scott H
- Re: Newbie question regarding Godel's Incompleteness Theorem
- From: David C . Ullrich
- Re: Newbie question regarding Godel's Incompleteness Theorem
- From: Nam Nguyen
- Re: Newbie question regarding Godel's Incompleteness Theorem
- From: Ben Crowell
- Re: Newbie question regarding Godel's Incompleteness Theorem
- From: herbzet
- Re: Newbie question regarding Godel's Incompleteness Theorem
- From: Aatu Koskensilta
- Re: Newbie question regarding Godel's Incompleteness Theorem
- Prev by Date: Re: 2nd order replacement and non-standard models of ZF?
- Next by Date: Re: practical application of Godel's Incompleteness Theorem
- Previous by thread: Special to get 45% or more discount on www.go2ugg.com Options
- Next by thread: Re: Newbie question regarding Godel's Incompleteness Theorem
- Index(es):
Relevant Pages
|