Goedel also said that if we ever develop complete proofs of complete math that would prove that we are not computing machines. That would annoy the AI fans.
posted on 03/16/2005 11:53:38 AM PST
(Please correct if cosmic balance requires.)
Thank you for your reply! Lurkers interested in the point you raise might enjoy some of Penrose's books on the subject - he relies on the Incompleteness Theorems to illustrate that Artificial Intelligence is impossible.
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson