LEADER 00000cam 2200385 a 4500 001 sky238676611 003 SKY 005 20150402111527.0 008 990402r19991979nyua b 001 0 eng 010 99192374 |z 99228026 020 9780465026562 (pbk.) 020 0465026567 (pbk.) 040 DLC|cDLC|dDLC|dSKYRV|erda|dUtOrBLW 082 00 510/.1|221 092 510.1|bHOF 100 1 Hofstadter, Douglas R.,|d1945- 245 10 Gödel, Escher, Bach :|ban eternal golden braid /|cDouglas R. Hofstadter. 250 Twentieth anniversary edition. 264 1 New York :|bBasic Books,|c1999. 264 4 |c©1979. 300 23, vi-xxi, 777 pages :|billustrations ;|c23 cm 336 text|btxt|2rdacontent. 337 unmediated|bn|2rdamedia. 338 volume|bnc|2rdacarrier. 504 Includes bibliographical references (p. 746-756) and index. 505 00 |gGEB:A|tmusico-logical offering --|gThe|tmu-puzzle -- |tMeaning and form in mathematics --|tFigure and ground -- |tConsistency, completeness, and geometry --|tRecursive structures and processes --|gThe|tlocation of meaning -- |gThe|tpropositional calculus --|tTypographical number theory --|tMumon and Godel --|gEGB:|tLevels of description and computer systems --|tBrains and thoughts --|tMinds and thoughts --|tBloop and floop and gloop --|tOn formally undecidable propositions of TNT and related systems -- |tJumping out of the system --|tSelf-ref and self-rep -- |tChurch, turing, tarski, and others --|tArtificial intelligence: retrospects --|tArtificial intelligence: prospects --|tStrange loops, or tangled hierarchies. 520 A scientist and mathematician explores the mystery and complexity of human thought processes from an interdisciplinary point of view. 600 10 Bach, Johann Sebastian,|d1685-1750. 600 10 Escher, M. C.|q(Maurits Cornelis),|d1898-1972. 600 10 Gödel, Kurt. 650 0 Metamathematics. 650 0 Symmetry. 650 0 Artificial intelligence.
|