-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Robert Dober wrote: | On Thu, Apr 17, 2008 at 7:35 PM, Phillip Gawlowski | <cmdjackryan / googlemail.com> wrote: | |> 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. | No Göäel is not talking about consistent systems, he has only (that is | a strange adjective in this context, but you know how I mean it) | proven that all *complete* systems are inconsistent. Even so, it is still a paradox. ;) - -- Phillip Gawlowski Twitter: twitter.com/cynicalryan ~ "I suppose the secret to happiness is learning to appreciate the moment." - -Calvin -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.8 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkgH4EEACgkQbtAgaoJTgL98QACfW/gPvcbiaX2q4Oqhq+NZ7Ykk /YkAn0PhGRAU4chgL7nwL6mV3qUQV5Ea =0fAF -----END PGP SIGNATURE-----