Footnote BNs.537

BNs.537. In The Emperor's New Mind: Concerning Computers, Minds and the Laws of Physics by Roger Penrose (Oxford 1989), the distinguished mathematician and physicist promoted the idea that Goedel's incompleteness theorem proves that human cognition -- or intuition -- must entail more than computation, and urged that quantum effects in the brain could provide a physical explanation. No AI system could intuit the way humans do, he argued. In a followup book, Shadows of the Mind -- A Search for the Missing Science of Consciousness (Oxford 1994), Penrose went to great lengths to rebut reader arguments that Goedel's theorem is false or that it did not apply.

Though I was, for technical reasons, not fully persuaded by Penrose's reasoning, it is quiet evident Alfred Tarski's "undefinability of truth" theorem is relevant to the AI "consciousness" controversy and gives at least some support to Penrose's views.

No comments:

Post a Comment

A short proof of the Jordan curve theorem

The following is a proposed proof. Topology's Jordan curve theorem, first proposed in 1887 by Camille Jordan, asserts that an...