Mark, Gödel's theorem does not say that something is not true, but rather that it cannot be proven to be true even though it is true.
Thus I think that the analogue of Gödel's theorem here would be something more like: For any formal definition of intelligence there will exist a form of intelligence that cannot be proven to be intelligent even though it is intelligent. Cheers Shane ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=231415&user_secret=fabd7936