From: Marc Geddes (firstname.lastname@example.org)
Date: Thu Oct 21 2004 - 00:59:34 MDT
--- Wei Dai <email@example.com> wrote:
> Georg Cantor and Emil Post (who in the 20s proved
> results similar to
> Gödel, Church, and Turing but didn't publish them)
> went insane. Gödel and
> Turing both killed themselves. A rather worrisome
> correlation between
> the diagonalization argument and mental breakdown...
Well, yes, it seems that too much contemplation of the
issues surrounding Godel, self-reference etc is
driving people mad ;)
But it's important that we find out whether Eli was
correct here, since if he's right, his point would
actually be *the key to the entire FAI project*
Now here was Eli's main point..
"...In more familiar terms, it would seem that
Schmidhuber's Gödel Machine must
prove a new proof system is consistent in order to
accept it, and that runs
smack dab into Gödel's original theorem. Any system
that can prove its own
consistency is inconsistent. "
Was he mis-interpreting the paper? Or is this
You know, that sad old man Penrose may have been half
right after all... understanding Godelization could
indeed be *the key* to understanding general
"Live Free or Die, Death is not the Worst of Evils."
- Gen. John Stark
"The Universe...or nothing!"
Please visit my web-sites.
Sci-Fi and Fantasy : http://www.prometheuscrack.com
Mathematics, Mind and Matter : http://www.riemannai.org
Find local movie times and trailers on Yahoo! Movies.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:49 MDT