Description |
23, vi-xxi, 777 pages : illustrations ; 23 cm |
Bibliography |
Includes bibliographical references (p. 746-756) and index. |
Contents |
GEB:A musico-logical offering -- The mu-puzzle -- Meaning and form in mathematics -- Figure and ground -- Consistency, completeness, and geometry -- Recursive structures and processes -- The location of meaning -- The propositional calculus -- Typographical number theory -- Mumon and Godel -- EGB: Levels of description and computer systems -- Brains and thoughts -- Minds and thoughts -- Bloop and floop and gloop -- On formally undecidable propositions of TNT and related systems -- Jumping out of the system -- Self-ref and self-rep -- Church, turing, tarski, and others -- Artificial intelligence: retrospects -- Artificial intelligence: prospects -- Strange loops, or tangled hierarchies. |
Summary |
A scientist and mathematician explores the mystery and complexity of human thought processes from an interdisciplinary point of view. |
Subject |
Metamathematics.
|
|
Symmetry.
|
|
Artificial intelligence.
|
|
Bach, Johann Sebastian, 1685-1750.
|
|
Escher, M. C. (Maurits Cornelis), 1898-1972.
|
|
Gödel, Kurt.
|
ISBN |
9780465026562 (pbk.) |
|
0465026567 (pbk.) |
|