Gödel, Escher, Bach An Eternal Golden Braid by Douglas R. Hofstadter

Escher. Maurits Camelis: Bach and. 201. ~7;

contradictions and. 97-99; copies and. 146-48;

drawings of. see list of IUustrations (xiv-«Viii);

figure and ground in. 67~; flat vs. spatial

and. 473-74. 689; incompleteness and. 716-17;

Magritte and. 480; as prime mover. 689-92.

710; on subbrains. 387; Strange Loops and.

10-15. 737; Zen and. 255-57

Escherization. repeatability of. 473-74. 689; see

also 2-D vs. 3-D. GOOelization

ESP. 598-99. 693-95

essential incompleteness: of Achilles' birthday.

462-64. 475-76. 688; of AI. see Tesler's The-

orem; of list of reals. 423-24. 469; of phono-

graphs. see TOdelization; of self-engulfing

process. 493; of TNT and related systems.

46S-71; see also GOdelization. TOdelization.

Escherization. nonprogrammability. etc.

Eta Oin. 586-93. 674

ETAOIN SHRDLU. 628. 630

Euclid. 19. 43. 58-60. 88-89. 216

Euclid's prime numher Theorem. 35. 58-60. 228

Euler. Leonhard. 3. 394

Euwe. Max. 605

evidence. nature of. 633-36

evolution. 321-22

existential quantifiers. see quantifiers

exotic styles of thought. 552. 563-64. 566-67

expanding nodes. 134-36

explanatory power on high level. 321. 326. 707-10

expressibility and expressive power. 101. 417.

441-43. 444-45. 450. 454. 465-70. 580-81

extrasensory perception. see ESP

extraterrestrial intelligence. 162-64. 167. 172-76.

341. 
     
     
     
     646. 661-62
          eyes. 237. 248. 260. 308. 311. 313. 477. 633. 715
          Fair Captive. The (Magritte). 489
          FANCY NOUN. 132-34
          Fantasia and Fugue in G minor (Bach). 719
          fantasy rule. 183-85. 187
          faucet. mental. 364-65
          faultlessly functioning machines. 575-78
          Faure. Gabriel. 163
          feedback and feedforward. 544-45
          Fermant. Johant Sebastiant. 332-35
          Fermant's Last Fugue. 335
          Fermat. Pierre de. 275-77. 278; confused with
          Bach. 331-35
          fermatas. 275. 329. 332. 333
          Fermat's Last Theorem: 275-79. 332.416; coun-
          terexample to. 277. 279. 460; inverted. 333-34;
          parodied. 335. 551; proof of. 277. 279.460
          Feynman diagrams. 144-46
          Fibonacci (Leonardo of Pisa). 136. 246
          Fibonacci sequence. 136. 138. 139. 152. 173-74.
          265.416
          fiddles. see violins
          fifth postulate (Euclid). 90-93. 222. 451-52
          50 (fifty). 338. 557. 564
          figure and ground: 61-63. 64-74. 731; in music.
          70-71
          FIGURE.-FIGURE figure (Kim). 68-70. 73
          filters: for abstraction. 286. 407-9. 648. 657-60.
     
     
     
     


342. 673; for Pools. 418. 427
     finitistic methods of reasoning. 24. 230
     Fishes and Scales (Escher). 146-47
     fission and fusion (of concepts). 338. 352-56. 438.


343. 664-65
     5-D space. 640

764

flags. 29-32. 188

flashcards. see tRNA

flat vs. spatial. see 2-D vs. 3-D

flattened look-ahead. 604-5

flattened rules of inference. see theorems vs. rules

flexibility and inflexibility. 26-27. 296-302.

611-14. 657. 673-75. 686

flights of fancy. 378

FlooP. 406. 424-30. 567-68; fed into itself.

425-26; power of. 428-29. 561-62

fluency. 376-77

flutes. 3-5. 27. 528. 552 -58. 720. 726

F(n) and M(n). 137. 142. 359

focusing. 657-59

folding-up of enzymes. 511-12. 519. 521. 525

football. 44. 303. 353. 634-40. 643. 644. 645. 672

footraces. 29-32. 43. 594-95. 681-83

forced matching. 670-72

forgetting. 577. 578. 619

Forkel. Johann Nikolaus. 4. 86

form. 47. 66-67. 68. 73. 190-91.370-71; syntactic

vs. semantic. 581-84. 631

form and content. 84-85. 204. 279. 581-84.

667-68. 740

formal systems. presentations of: C-system.

64-65; MIU-system. 33-41; P-system. 73-74;

pq-system. 46-60; Propositional Calculus.

181-97; TNT. 204-30; tq-system. 64-65; Ty-

pogenetics. 504-13

formal systems vs. reality. 53-58

formal vs. informal reasoning. 193-97. 228-29.

271-72.449-50. 614-15. 618-19

formal vs. informal systems. 26-27. 559-85. 598.

684-86; see also brains. minds. etc.

formalist philosophy of mathematics. 458

formula: closed. see sentence; open. 207-8

formulas of TNT. 206. 207-15

Four-color Theorem. parodied. 550

4-D space. 638-39

four-postulate geometry. see geometry. absolute

4'))" (Cage). 156

Fourmi. Lierre de. 333-34

frame effect, 704

frame messages. 162. 166-67. 176

frames. 373. 644-46. 662-63. 672

framing devices. 478

Frank. Philipp. 642

Frederick the Great. King of Prussia. 3-8. 27.

394. 729
     free will. 388. 680. 708. 710-14. 720-16. 734-35.
     739; see also jumping out of the system
     Frege. Gottlob. 20
     French fries. 636-38. 683
     French Suite no. 5. Gigue (Bach). 130
     frequencies. of words and letters. 377. 630
     friend. mental model of. 386-87
     fringe science. 693-94
     fugues. 335. 634. 730. 736; in the An of the Fugue.
     79-81. 86; devices in. 314. 322-23. 329-30.
     737-40; Dialogues and. 28; in the Musical Offer-
     ing. 4-9; nature of. 9. 281-84. 737
     Fundamental Facts 1 and 2. 440-42
     fundamental jukebox-axiom. 155
     funneling. 346-48
     G (GOOeI's string). 18. 271-72. 285. 447-55.
     459-60. 502. 580. 608. 667. 707-8
     G', G", G'" J ••• Gcu, 466-68
     -G. 272. 449. 451-55. 458-59. 542
     Galileo. 478-79

Index