Description |
xxi, 777 pages : illustrations ; 24 cm |
Series |
Harvester studies in cognitive science ; 14 |
|
Harvester studies in cognitive science ; 14
|
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 Gödel -- 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 |
Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence |
Notes |
Includes index |
Bibliography |
Bibliography: pages 746-756 |
Subject |
Bach, Johann Sebastian, 1685-1750.
|
|
Escher, M. C. (Maurits Cornelis), 1898-1972.
|
|
Gödel, Kurt.
|
|
Godel
|
|
Artificial intelligence.
|
|
Logic, Symbolic and mathematical.
|
|
Metamathematics.
|
|
Philosophy.
|
|
Symmetry.
|
LC no. |
78019943 |
ISBN |
0394745027 (Vintage Books : pbk.) |
|
0465026850 |
|