From: Phillip Gawlowski <cmdjackryan@...>
Date: 2008-04-18T18:03:21+09:00
Subject: Re: Ada vs Ruby

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Robert Dober wrote:

| I completely agree with you on this, but the interesting thing is that
| G�del's theorem is just such a realistic one in a real world far away
| from the abstractions of an ideal world, because it showed that even
| the abstract, logical world was not ideal as soon
| as something got complex enough to be "interesting". That is why his
| theorem was that much contested I suppose.
| When you say paradox, do you as a matter of fact contest the theorem?
| Maybe this is simply my wrong interpretation of the term?

Oh, I don't contest its existence, far from it.

Look at this definition of paradox:

"a statement or proposition that seems self-contradictory or absurd but
in reality expresses a possible truth."[0]

I merely state, that Godel's Incompleteness Paradox would be closer to
the truth of Godel's assertion, than the term theorem can transport. :)


[0] http://dictionary.reference.com/browse/paradox

- --
Phillip Gawlowski
Twitter: twitter.com/cynicalryan

~   "That's the problem with nature, something's always stinging you
~   or oozing mucous all over you. Let's go and watch TV."
~              --- Calvin
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.8 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkgIY9gACgkQbtAgaoJTgL9ogQCgnZydTBkFGeVMbafAB0ie5kN4
PLsAoJwDTgPSwPFiJEYw/L3l2nu0pLXf
=LoQ5
-----END PGP SIGNATURE-----