"Canon per Tonos" (Bach), see Endlessly Rising
Canon
canons: copies and, 8-9, 146; Dialogues and,
665-69, 738; Escher drawings and, 15; in Gold-
berg Variations, 392; in Musical Offering 7-10,
726-27; poIyribosomes and, 526-28; self-refs
and, 501-3; structure of, 8-10; two-tiered,
527 -28; see also individual canons, fugues
Cantor, Georg, 20, 216, 418, 421, 422-24
Cantor set, 142
"Cantorcrostipunctus", 424
Capitalized Essences, 29
car radio, 670-71
cardinality, intuitive sense of, 567
Carroll, John B., 630
Carroll, Lewis, 20, 28, 46, 192, 372, 681; material
by, 43-45, 366-68
Carroll paradox: 28, 43-45, 681; evidence ver-
sion, 693-94; message version, 170; problem
posed by, 46, 181; proof version, 192-93; Sam-
uel's argument and, 68~5; symbolized, 193;
see also infinite regress
cascades, 224, 529, 626, 664
caste distribution: encoding of knowledge in, 319,
324-28, 359; meaning of, 321-24; updating of.
318-19, 324
catalogues of programs (Blue, Green, Red), 419,
427-28
catalysts, 528-29
cats, 313, 343-46. 532
causality, types of, 709-10
CCrab, see A IT ACCA
ceilings, see loops, bounded; BlooP
celestial mechanics, 353-54
CElls (BlooP), 410-11
cellular processes. as models for AI, 663-64
Central Crabmap, 667
Central Dogma: of Mathematical Logic, 271,
532-34; of the MIU-system, 513; of Molecular
Biology. 504-5, 514, 532-34, 536, 667; of Ty-
pogenetics, 513; of Zen strings, 238, 239, 240,
243
Central Dogmap. 532-34. 545, 547, 672, 709
Central Pipemap, 701-2
central processing unit, 288, 289
Central Proposition, 264, 269
Central Slothmap, 702
Central Xmaps. 702, 716; see also individual en-
tries
centrality, 374-75
centromere, 668
cerebellum. 341
Chadwick, John. 50
chain letters, 546
Champernowne, David, 595
Champollion, Jean Fran~ois, 165
channeling, 299, 376-77
chaos in number theory, 137-38, 152, 557; see also
order and chaos
chauvinism, 171-73
checkers programs, 573. 604-5
Chekhov, Anton, 642
chess: chunking and, 28~7, 604; grand masters
in, 286-87; round-the-house. 595; self-modify-
ing, 687-88
chess boards, hierarchy of, 687
chess players, cycle of, 94-95
chess programs: Babbage and. 25, 729-31, 736;
choice and, 711-12; Crab and, 721, 729-31; dif-
ficulty of, 151-52, 605; jumping out of the sys-
tem and, 37-38, 678; knowledge representation
Index
in, 618; recursive structure of, 150-52;
strengths and weaknesses of, 151-52, 285-87,
573, 603-4, 611; Turing and, 595, 596, 736;
varieties of, 601; without look-ahead, 604
chests of drawers, nested, 644-45
children's stories and AI, 675-76
Chiyono, 256
choice, 711-14
Chopin. Frederic, 70, 257, 677
chords and analogies. 673-74
chromosomes, homologous, 668
chunked versions of this book: jacket, vi-vi~ viii-
xiii. 370, 758-77
chunking: ant colonies and, 326-27; brains and,
381-84,559; computer languages and, 290-92,
381,412-13; defined, 285-88; determinism and.
306-8, 363, 522; of DNA, 531-32; intuitive
world-view and, 305-6, 362-63; of music, 160,
164, 525; of one's own brain, 382; probabilistic,
384; scientific explanation and, 305-6; super-
conductivity and, 305; trade-offs in, 326; vision
and,348
Church, Alonw, 428, 476, 561
Church-Turing Thesis, 428-29, 552, 561-79; AI
Version, 578-79, 580, 581; Hardy's Version,
566; Isomorphism Version, 567-68; Micro-
scopic Version, 572; Public-Processes Version,
562,568, 574, 580; Reductionist's Version, 572,
574; Soulist's Version, 574; Standard Version,
561-62, 579; Tautological Version, 561; The-
odore Roszak Version, 574-75; unprovability
of,562
Church's Theorem, 560-61,574,579-81,609, 697
cigars, 199, 201, 383, 481, 651
classes vs. instances, 351-55, 360-61; see also pro-
totypes, intensionality and extensionality, analo-
gies, conceptual skeletons, etc.
codes: art and, 703-4; familiar and unfamiliar,
82, 158, 267; see also decoding, GOOel Code,
Genetic Code, etc.
"coding" of sentences, 583-84
codons, 519-20, 524, 533, 535; see also GOOei
codons, duplets
Colby, K., 599
columns in brain. 346
Comenius, Johann Amos, 625
comments in programs, 297
Common Sense (Magritte), 700-1
common sense and programs, 301
communicability of algorithms, 562
commutativity, 55-56, 209, 225-27, 453, 639
compelling inner logic, 161-62, 163-64
competing theories, and nature of evidence, 695
compiler languages, 292-95
compilers, 292-95, 297, 503
compiling, reverse of, 381
Complete List of All Great Mathematicians, see
List
completeness, 100-2, 417-18, 422, 465; see also
incompleteness, consistency
complexity of world, 569
composite numbers, 64, 65~, 73; see also prime
numbers
compound sentences, in TNT, 214
compound words, 665
computer chess, see chess programs
computer languages: analogues in cell, 547; di-
alects of, 503; flexibility and, 298-99; high-
level, 292-93, 297-300; message-passing,
662-63; power of, 299, 428-29; presented,
289-99,406-30,498-99; in SHRDLU, 629-32
761