|
|
 |
| Àâòîðèçàöèÿ |
|
|
|
| Ïîèñê ïî óêàçàòåëÿì |
|
|
|
|
|
|
|
 |
|
|
|
| Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid |
|
|
|
| Ïðåäìåòíûé óêàçàòåëü |
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''', ...,  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
|
|
|
| Ðåêëàìà |
|
|
|
|
|
Î ïðîåêòå