Hi,
Eric Boyd:
<<
Sorry, I forgot the link:
http://www.ddc.net/ygg/etext/godel/
<<
That's not quite right, actually. Godel's proof, on further thought,
is more like a man saying "*I* cannot consistently assert the truth of
this statement". If the man does assert it, the statement is false,
and he lied. Therefore he cannot consistently assert the truth of the
statement, and *therefore* the statement is true. Therefore there
exists a truth that the man cannot assert, and therefore his group of
truths has a "hole". As I said, it is a trivial hole, but a hole
non-the-less.
So, my conclusion is that logical systems are no worse off than our
own human abilities, and this is certainly not a good reason to jump
off the logic band wagon...
ERiC
try Godel's paper on Incompleteness.
>>
On a meta note, I have said before that Godel's proof itself only
proves that logical systems cannot refer to (or totally explain)
themselves -- It is the logic equivalent of a man saying "I always
lie"
>>