From: Phillip Gawlowski <cmdjackryan@...>
Date: 2008-04-18T02:35:08+09:00
Subject: Re: Ada vs Ruby

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

Robert Dober wrote:

| Oops I missed it, nice trick anyway.

Yeah, abstract logic allows for neat stunts (and a lot of sales for
aspirin, too). :P

| I see no paradox in it, the paradox is the proof of the theorem right?
| The theorem itself just says that such paradoxes will occur in a
| complete system, but I admit it is difficult to accept that as not
| being paradoxal itself. :=)
| IIRC even Bertrand Russel did not believe G旦del's theorem and there
| were other prominent mathematicians defying it.
| G旦del was waaaay ahead of his time.

Well, the theorem is counter-intuitive in its nature, and paradoxical.

After all, any consistent system should be provable, but isn't. But if
it isn't provable, it isn't consistent, but yet it is.

The theorem is, in a way, its own proof. :P

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

~ - You know you've been hacking too long when...
...you think "grep keys /dev/pockets" or "grep homework /dev/backpack"
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.8 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkgHikkACgkQbtAgaoJTgL8PYwCfehqRFbf/BHY8fH8IBw0MqaYL
gikAoKewZclVZoJmLvmhxvbH4HjEJ0xP
=gGU1
-----END PGP SIGNATURE-----