Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Godel, Escher, Bach: An Eternal Golden Braid

Автор: Hofstadter D.R.

Аннотация:

Twenty years after it topped the bestseller charts, Douglas R. Hofstadter's Gödel, Escher, Bach: An Eternal Golden Braid is still something of a marvel. Besides being a profound and entertaining meditation on human thought and creativity, this book looks at the surprising points of contact between the music of Bach, the artwork of Escher, and the mathematics of Gödel. It also looks at the prospects for computers and artificial intelligence (AI) for mimicking human thought. For the general reader and the computer techie alike, this book still sets a standard for thinking about the future of computers and their relation to the way we think.

Язык:

Рубрика: Математика/Популярные издания/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1979

Количество страниц: 757

Добавлена в каталог: 30.04.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Decoding mechanisms for Tripitaka      257 (see also “Isomorphisms” etc.)
Decoding mechanisms: complexity of      158—162 172—176 582—584
Decoding mechanisms: innate      170—171
Decoding mechanisms: nature of      158—176
Decoding mechanisms: record players as      83 154—157
Decoding mechanisms: transparency of      267 501
Decoding of DNA      159—162 175—176 201 231 531—532 538
Decoding of formal systems      50—51 54
Decoding of fortune      154
Decoding of nature      409
Decoding of records      154—157 158—159 161—164 172 174—175
Decoding of Russian text      380 (see also “Isomorphisms” “Translation” “Information” “Chunking”)
Decoding via Goedel isomorphism      267
Deduction Theorem      186
default options      352—353 386 411 645 674
Defects and expectations      77 86 102 222 476
Demi-doublets      633—634 669
Demons      663—664
Deoxyribonucleic acid      see “DNA”
Derivations in iq-system      65
Derivations in MIU-system      35—36 262 264 439
Derivations in Propositional Calculus      184 185 188 189—190 196
Derivations in TNT      217 218 219 224—227 269
Derivations in Typogenetics      507 509
Derivations vs. proofs      35—36 193—194 195
Derivations: alleged      439—440
Derivations: defined      35—36
Derivations: fallacious      220 439
Derivations: supernatural      454—455
Descartes, Rene      263 340 677
Description-schemas      650 (see also “Templates”)
Descriptions: calculus of      338
Descriptions: restructuring of      649—653 659—661 672
Descriptions: tentative      646—649
descriptors      647
Detachment, rule of      185—186 577
Determinism      54 (see also “Free will”)
Devil      685
Dewdrop (Escher)      249 256
Di of Antus      333
Diagonal method, Cantors      418—424 426 427—429 438 446 469
Diagram G      135—137
Dialogicians      81
Dialogues, miniature      191—192 193 408—409 431 560 565 595—596 598 599
Dialogues: as self-refs      84—85 129 204 502—503 667 738—739
Dialogues: origin of      28 665—669
Dickens, Charles      326 328 380
Difference Engine      25
Differentiation, cellular      543—546
Digestion      306
Digits, shunting of      264
Diophantine equations      279 459—460
Diophantus of Alexandria      275
Directory of real numbers      421—424
Disambiguation      586—593 603 629—632
Distance to goal      611—613
Divisor-freeness      74
Djinns      113—115 216—217 223 224
DNA as aperiodic crystal      167
DNA as carrier of genetic information      159
DNA as program, language, data      290—291 547
DNA compared to computer languages      290—291
DNA endonuclease      530 531
DNA in outer space      167 175—176
DNA ligase      530 531
DNA polymerase      530 531
DNA Rapid Transit Service      505 517
DNA: as declarative knowledge      616—617
DNA: composition and structure of      514—515
DNA: covalent backbone of      514—515
DNA: double strands      511—515 530—531
DNA: isomorphism with organism      146—148
DNA: mode of self-replication      529—530
DNA: quining and      531
DNA: recombinant      665
DNA: relation to mRNA      517
DNA: self-destroying      536
DNA: unusual interpretation of      231
Doctor program      599—600 608
Dog-and-bone problem      611—613
Dogs      233 234 354 383 569 570 611—612 679
Doko      250 698
Dostoevsky, Feodor      379—380
Double Negation      183 545 554
Double Nodulation, law of      243
Dragon (Escher)      473—474 524 698
Drawing Hands (Escher)      15 21 133 689—692 710 716 737
Dreams      378 379 384 725
Dreyfus, Hubert      574
Dualism      251—255 698—699
Dumpty, H.      332
Duplets (Typogenetics)      510 512
Dvorak, Antonin      163
E. coli bacterium      176 537—541
Earrwig, Dr. Tony      586—593 627
Earth chauvinism      171—172
Earth-Moon-Sun system      353—354
Earthworm(s)      341—342
Eccles, John      574
Edifying Thoughts of a Tobacco Smoker (Bach)      482
Edifying Thoughts of a Tobacco Smoker (Dialogue)      543
Eggs      192 360 383
Einstein, Albert      100
Electrons      140—146 258 303—305
ELIZA      see “Doctor program”
Embedding of formal systems      97 207 215
Emergent phenomena      708—709 714
Emotions as epiphenomena      677
Emotions: brains and      83
Emotions: counterfeit      599—600
Emotions: dependence of intelligence upon      573 597—598
Emotions: music and      83 160 163—164 174—175 383—384 626—627 676—677 699
Emotions: potential      281 383—384 583
Emotions: programs and      573 597—600 626—627 675—677
Emotions: universality of      163 174—175
Emulation      295
Endlessly Rising Canon (Bach)      10—11 15 46 130 717—719 742
ENIUQ (procedure)      498—499
Enlightenment      232 237 243 246 251 254—255 479 567
Enlightenment ’Yond Enlightenment      237 239 243 244
ENO      232 252
Enzymes as models for AI      663—664
Enzymes vs. typoenzymes      529 (see also “Proteins” “Typoenzymes”)
Enzymes: function of      520—522 528—530 543—545
Enzymes: rules of inference and      509—510 513 531
Enzymes: structure of      519—521 525
Enzymes: synthesis of      517—519 522—525 527—529 538—545 547
Enzymes: versatility of      529
Epigenesis      159—160 161—162 531—532 665
Epimenides paradox: connection with Goedel's Theorem      17—18
Epimenides paradox: Escher and      716
Epimenides paradox: expanded version      21 22
Epimenides paradox: fear of      23
Epimenides paradox: French-English version      501
Epimenides paradox: indirect recursion and      134
Epimenides paradox: molecular version      536—537
Epimenides paradox: neural version      584—585
Epimenides paradox: Quine version      431—437 445 446 449 497—499 531 537
Epimenides paradox: subtlety of      495—498
Epimenides paradox: Tarski version      580—581 584—585
Epimenides paradox: two levels of      581 584—585
Epimenides paradox: Whitely's version      476—477
Epimenides, picture of      496
Epiphenomena      308—309 363 577 596 677—679
Errors in programs      295 297—298 596
Escher, Maurits Cornelis as prime mover      689—692 710
Escher, Maurits Cornelis on subbrains      387
Escher, Maurits Cornelis: Bach and      201 666—667
Escher, Maurits Cornelis: contradictions and      97—99
Escher, Maurits Cornelis: copies and      146—148

Escher, Maurits Cornelis: drawings of      see “List of Illustrations” (xiv—xviii)
Escher, Maurits Cornelis: figure and ground in      67—68
Escher, Maurits Cornelis: flat vs. spatial and      473—474 689
Escher, Maurits Cornelis: incompleteness and      716—717
Escher, Maurits Cornelis: Magritte and      480
Escher, Maurits Cornelis: Strange Loops and      10—15 737
Escher, Maurits Cornelis: Zen and      255—257
Escherization, repeatability of      473—474 689 “Goedelization”)
ESP      598—599 693—695
Essential incompleteness of Achilles' birthday      462—464 475—476 688
Essential incompleteness of AI      see “Tesler's Theorem”
Essential incompleteness of list of reals      423—424 469
Essential incompleteness of phonographs      see “Toedelizalion”
Essential incompleteness of self-engulfing process      493
Essential incompleteness of TNT and related systems      468—471 (see also “Goedelizalion” “Toedelization” “Escherization” “Nonprogrammability” etc.)
Eta Oin      586—593 674
ETAOIN SHRDLU      628 630
Euclid      19 43 58—60 88—89 216
Euclid's prime number Theorem      35 58—60 228
Euler, Leonhard      3 394
Euwe, Max      605
Evidence, nature of      633—636
Evolution      321—322
Existential quantifiers      see “Quantifiers”
Exotic styles of thought      552 563—564 566—567
Expanding nodes      134—136
Explanatory power on high level      321 326 707—710
Expressibility and expressive power      101 417 441—443 444—445 450 454 465—470 580—581
Extrasensory perception      see “ESP”
Extraterrestrial intelligence      162—164 167 172—176 341 646 661—662
eyes      237 248 260 308 311 313 477 633 715
F(n) and M(n)      137 142 359
Fair Captive, The (Magritte)      489
FANCY NOUN      132—134
Fantasia and Fugue in G minor (Bach)      719
Fantasy rule      183—185 187
Faucet, mental      364—365
Faultlessly functioning machines      575—578
Faure, Gabriel      163
Feedback and feedforward      544—545
Fermant's Last Fugue      335
Fermant, Johant Sebastiant      332—335
Fermat's last theorem      275—279 332 416
Fermat's Last Theorem: counterexample to      277 279 460
Fermat's Last Theorem: inverted      333—334
Fermat's Last Theorem: parodied      335 551
Fermat's Last Theorem: proof of      277 279 460
Fermat, Pierre de      275—277 278
Fermat, Pierre de: confused with Bach      331—335
Fermatas      275 329 332 333
Feynman diagrams      144—146
Fibonacci (Leonardo of Pisa)      136 246
Fibonacci sequence      136 138 139 152 173—174 265 416
Fiddles      see “Violins”
Fifth postulate (Euclid)      90—93 222 451—452
Figure and ground      61—63 64—74 731
Figure and ground: in music      70—71
FIGURE-FIGURE figure (Kim)      68—70 73
Filters for abstraction      286 407—409 648 657—660 663 673
Filters for Pools      418 427
Finitistic methods of reasoning      24 230
Fishes and Scales (Escher)      146—147
Fission and fusion (of concepts)      338 352—356 438 470 664—665
Flags      29—32 188
Flashcards      see “tRNA”
Flat vs. spatial      see “2-D vs. 3-D”
Flattened look-ahead      604—605
Flattened rules of inference      see “Theorems vs. rules”
Flexibility and inflexibility      26—27 296—302 611—614 657 673—675 686
Flights of fancy      378
FlooP      406 424—430 567—568
FlooP: fed into itself      425—426
FlooP: power of      428—429 561—562
Fluency      376—377
Flutes      3—5 27 528 552—558 720 726
Focusing      657—659
Folding-up of enzymes      511—512 519 521 525
Football      44 303 353 634—640 643 644 645 672
Footraces      29—32 43 594—595 681—683
Forced matching      670—672
Forgetting      577 578 619
Forkel, Johann Nikolaus      4 86
FORM      47 66—67 68 73 190—191 370—371
Form and content      84—85 204 279 581—584 667—668 740
Form: syntactic vs. semantic      581—584 631
Formal systems vs. reality      53—58
Formal systems, presentations of C-system      64—65
Formal systems, presentations of MIU-system      33—41
Formal systems, presentations of P-system      73—74
Formal systems, presentations of pq-system      46—60
Formal systems, presentations of Propositional Calculus      181—197
Formal systems, presentations of TNT      204—230
Formal systems, presentations of tq-system      64—65
Formal systems, presentations of Typogenetics      504—513
Formal vs. informal reasoning      193—197 228—229 271—272 449—450 614—615 618—619
Formal vs. informal systems      26—27 559—585 598 684—686 “Minds” etc.)
Formalist philosophy of mathematics      458
Formula: closed      see “Sentence”
Formula: open      207—208
Formulas of TNT      206 207—215
Four-color Theorem, parodied      550
Four-postulate geometry      see “Geometry absolute”
Fourmi, Lierre de      333—334
Frame effect      704
Frame messages      162 166—167 176
frames      373 644—646 662—663 672
Framing devices      478
Frank, Philipp      642
Frederick the Great, King of Prussia      3—8 27 394 729
Free will      388 680 708 710—714 720—716 734—715 739
Frege, Gottlob      20
French fries      636—638 683
French Suite no. 5, Gigue (Bach)      130
Frequencies, of words and letters      377 630
Friend, mental model of      386—387
Fringe science      693—694
Fugues      335 634 730 736
Fugues in the Art of the Fugue      79—81 86
Fugues in the Musical Offering      4—9
Fugues: devices in      314 322—323 329—330 737—740
Fugues: Dialogues and      28
Fugues: nature of      9 281—284 737
Fundamental Facts 1 and 2      440—442
Fundamental jukebox-axiom      155
Funneling      346—348
G (Goedel's string)      18 271—272 285 447—455 459—460 502 580 608 667 707—708
G', G'', G''', ..., $G_{\omega}$       466—468
G(n)      137
G0025, white stony      626
Galileo      478—479
Games played by AI programs      601
Ganto      189—190 256 407
Gases and molecules      307—308 317 693
Gateless Gate      see “Mumonkan”
Gauss, Karl Friedrich      92 100
Gebstadter, Egbert B.      94—95 402—403 484
Gelernter, E.      606—607
General recursivity      406 430 470
Genes      200—201 507 512 524—525 531 544—545 668
genetic code      160 519—520 522—524 533—534 536 538
Genetic Code: origins of      231 548
Genetics      504—548
Genie, Meta-Genie, etc.      109—116 216—217 223 224 610
Genie, symbol-manipulating      39—40 48
Genotype and phenotype      159—162 167 173—174 175—176 295 531—532 667—668
Gentzen, Gerhard      195
Geometric Code      235—237 241 626
Geometry: absolute      91 93 97 222 407 451—452
Geometry: elliptical      93
Geometry: Euclidean      19—20 88—92 100 222 451 456 606—607

1 2 3 4 5 6 7 8 9

О проекте