Quoting Christopher Menzel <cmenzel@xxxxxxxx>: (01)
> On Feb 1, 2008, at 8:10 AM, Avril Styrman wrote:
> > ...
> > What did Gödel's incompleteness theorem about arithmetics teach? At
> > least it taught that not everything can be proven.
>
> It taught no such thing. Really, you should actually study the
> theorem enough to understand it before you make assertions about what
> it did or did not teach. You might want to start with Torkel
> Franzen's excellent little book Gödel's Theorem: An Incomplete Guide
> to Its Use and Abuse
> (http://www.amazon.com/Godels-Theorem-Incomplete-Guide-Abuse/dp/1568812388 (02)
Chris, sure it did: (03)
Gödel's incompleteness theorem, referring to a different meaning of
completeness, shows that if any sufficiently strong effective theory of
arithmetic is consistent then there is a formula (depending on the theory)
which can neither be proven nor disproven within the theory. (04)
You can read the Bible like a devil, but this doesn't change
anything. The above is just a round-route of saying that
everything cannot be proved. (05)
Avril (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|