Thursday, June 01, 2006

Incompleteness

Godel had said:
"...But every error is due to extraneous factors
(such as emotion and education); reason
itself does not err."
But I say, It is certainly wrong!
*
For those who are not familiar with Godel theorem:
The following statement is occasionally referred to as Godel's first theorem:
In any formal system adequate for number theory
there exists an undecidable formula—that is, a formula
that is not provable and whose negation is not provable.
A corollary to the theorem is that the consistency of a
formal system adequate for number theory cannot be
proved within the system.(Sometimes it is this corollary
that is referred to as Godel's theorem)

No comments: