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

709-10. 719; near miss. 691; in Propositional

Calculus. 194; of self-modifying chess. 688; of

Tortoise's reasoning, 177~0; of Typogenetics.

513.688

tangled levd, 688

Tanguy, Yves, 700

tape remrders. 485. 519. 523. 525-28

Tarski. Alfred. 57~1

Tarski-Church-Turing Theorem, 561, 581

Tarski's Theorem. 579. 580~1. 584~5. 697

Taube. Mortimer. 574

Taurinus, F. A.. 92

TC-battles. 75-78. 406-7. 424. 467-70. 478.

483-88. 536-41. 721

tea. 153-54.231. 275. 322-23. 333. 549. 557.558.

561

teleological vs. evolutionary viewpoint. 320-22

telephone calls. 61~3. 127-28. 161; obscene. 431.

437

telephone systems. 296. 663

telephones. 302

television. 285. 348. 478. 484. 487-93. 634-40

telophase. 667 ~

templates: for Bongard problems. 650-53.

656-57; vs. instructions. see instructions vs. tem-

plates. programs vs. data

tension and resolution. 121-23. 129-30. 227

tentativity. 646. 651. 654-56. 672

termination tester. 425-29

terminators (F1ooP). 425-29

terms (TNT). 206-7. 213. 214

teniary structure: of proteins. 519-22. 525-27; of

tRNA. 524; of typoenzymes. 510-11. 512. 519

Tesler. Lawrence G .• 601

Tesler's Theorem. 601. 623; see also paradox of

AI. jwnping out of the system. essential in-

completeness

tesselations. 68. 69, 198. 667

tests vs. functions in BlooP and FlooP. 413; 418

text-handling by computers. 301

T4 phage. 537-41

"the". 586. 629-30

theorem-nwnbers. 264~7. 269-70. 440-43. 451

theorem-proving. mechanical. 602. 609. 617-19

theorems: defined. 35; systematic enwneration of.

39-40. 48. 471-73. 578. 615. 617-18; vs. non-

theorems. 39-41. ~7. 70. 71-73. 190-91.

416-17. 560. 57~0; vs. rules. 43-45, 193-94.

509-10; vs. Theorems. 35. 193; vs. truths.

49-54. 70-71. 86-102. 190-97. 213. 221-23.

228-30. see also consistency. completeness.

GOOel's Theorem. consequences of

TIteseus and Ariadne. 130

thinking. speed of. 679

SO. as possible MIU-nwnber. 265~7

"this sentence". 436. 495-98. 499

thought. substrate of. 559

3n + I problem. 400-2; see also wondrous and un-

wondrous nwnbers

Three Spheres 1/ (Escher). 258

310-system. 261~

Three Worlds (Escher). 247. 256

thymine. see nucleotides

tilde. 183. 191-92. 554

~rinR. 296. 354-55. 387. 730

TNf. 204-30; absolute geometry and. 451-52;

austere. 211. 214. 216. 268. 442. 534; axioms of.

215-17. 222-23; as code. 265~7; consistency

of. 229-30. 449-50; extended. axioms of.

451-52.466-68; extensions of. 451-59. 46!Hi8;

Index

FIGURE-FIGURE figure and. 70; as general

metalanguage. 265~7; goals of. 60; in-

completeness of, see incompleteness; introspec-

tion of. 17. 194.267-72,406.438.443. 449-50.

698. 707~; as its own metalanguage. 267-72.
     441-46, 514; plight of, pictorial version. 71; re-
     laxed. 228; rules of formation. table of. 213-14;
     rules of inference. 215.217-15; sixth axiom of.
     222-23. 451-55. 459. 465~; well-formed ness
     in. 205-15
     TNT -derivations compared with machine lan-
     guage.291
     TNT-level. explanations on. 708
     TNT-numbers. 269-70; See aJ..o theorem-numbers
     TNT + G. 465~7. 471
     TNT + G + G'. etc .• 467-71
     TNT + -G. 467
     tobaa:o mosaic virus. 484~5. 542. 543
     TOdelization. repeatability of. 76-78. 424. 467-70.
     483-86; see also GOdelization. essential in-
     completeness. answer schemas. etc.
     TOdel's Theorem. 486. 536
     Tokusan. 189-90
     tonic. musical. 121-23. 129-30
     Tortoise: answer-schemas and. 475; Carroll para-
     dox and. 46. 193. 684~5. 693; Crab Canon and.


699. 666-67; degenerate solution by. 669;
     Diophantine equations and. 459-60; as
     harpsichord. 502; initial letter of. 231.507.667;
     tnentioned. 102. 170. 267; origin of. 28-29; pic-
     ture of. 42; recursion and. 128-30; 149; use of
     words by. 181; vs. Crab. 84~6. 271.406. 424.
     467~9. 540. 543; Zen string made by. 272; in
     ZET cycle. 94-95
     Tortoise-pairs. 416. 441. 448; compared with
     proof-pairs. 441. 448
     Tortoise property. 395-97. 415-18. 425. 426. 441.
     448
     Tortoise's love song. 435-36
     Tortoise's method. see Todelization
     Tozan. 190. 255. 257. 479
     tq-system. 64~7
     transcendentalism. 704
     transcription: DNA to mRNA. 517. 524. 527-28.


700. 
     
     
     
     533. 
          
          
          
          536. 
               
               
               
               538. 540-41. 544-45; DNA to
                    tRNA. 425; koans to messengers. 235-36. 288.
               
               
               
               
          
          
          
          
     
     
     
     


701. 242; letters to notes. 83; prevention of.
     544-45
     transfer RNA. see tRNA
     translation: between com puter languages. 192-95.
     297-98. 306. 380-81. 547. 632; between levels
     of a brain •. 349. 381-84. 709; between natural
     languages;.difficulties of. 372-73. 379~; be-
     tween TNT and meta-TNT. 267-72. 441-46.
     709; of Crime and Punishment. 379~; English
     to TNT. 209-13, 215. 417; of "Jabberwocky".
     372-73. 379; levels of fidelity in. 379~; me-
     chanical. 380. 601. 603; of messengers in to
     strings. 234-36; mRNA to proteins. 485.
     518-19. 522-25. 527-28. 531-36. 538. 545.
     546-48; from N to Meta-TNT. 533; from score
     to sounds. 83; in Typogenetics. 509-10. 512-13
     transparency to user. 629. 632
     trees: look-ahead. see look-ahead trees; recursive
     diagrams, 40. 71, 135-37; of theorems. 40. 71
     triggering patterns of symbols: dependence on
     tneaningless lower levels. 569; isomorphism be-
     tween minds and. 369. 376; isomorphism be-
     tween physical law and, 362; as key to meaning.
     325.327.350.360, 385.609; mediated by mes-

775