[RightWhale]

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.

[Alamo-Girl]

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.