METACAT
The COPYCAT program—see Map 1—could in principle be developed into a new program called METACAT. Metacat would have the reflexive ability to recognise the truth of its own Gödel sentence and could thereby evade the Lucas argument.
METACAT would be able to:

  • represent issues and pressures involved in a problem;
  • understand how someone else thought up an analogy that didn't occur to it;
  • store episodic memory of past problems it has solved;
  • recognise meta-analogies—ie analogies between different analogies;
  • and construct puzzles based on a sense of aesthetics.
Douglas Hofstadter (1995).
CONTEXT(Help)
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Improved machines »Improved machines
Self-referential machines »Self-referential machines
METACAT
Douglas Hofstadter »Douglas Hofstadter
+Comments (0)
+Citations (0)
+About