194,416,439-41, 470; for well-formedness, 182,
269, 416, 582; for wondrousness, 402, 425
decoding: of DNA, 159-62, 175-76, 201, 231,
531-32, 538; of formal systems, 50-51, 54; of
fortune, 154; via GOOei isomorphism, 267; of
nature, 409; of records, 154-57, 158-59,
161~, 172, 174-75; as revelation, 160-61; of
Russian text, 380; see also isomorphisms, transla-
tion, information, chunking
decoding mechanisms: complexity of, 158-62,
172-76, 582--84; innate, 170-71; nature of,
158-76; record players as, 83, 154-57; trans-
parency of, 267, 501; for Tripitaka, 257; see also
isomorphisms, etc.
Deduction Theorem, 186
default options, 352-53, 386, 411, 645, 674
defects and expectations, 77, 86, 102, 222, 476
demi-doublets, 633-34, 669
demons, 663~
deoxyribonucleic acid, see DNA
derivations: alleged, 439-40; defined, 35-36; fal-
lacious, 220, 439; in MIU-system, 35-36, 262,
264, 439; in Propositional Calculus, 184, 185,
188, 189-90, 196; supernatural, 454-55; in
TNT, 217, 218, 219,224-27,269; in tq-system,
65; in Typogenetics, 507, 509; vs. proofs,
35-36, 193-94, 195
Descartes, Rene, 263, 340, 677
description-schemas, 650; see also templates
descriptions: calculus of, 338; restructuring of,
649-53, 659-61, 672; tentative, 646-49
descriptors, 647
detachment, rule of, 185--86, 577
determinism, 54; see also free will
Devil,685
Dewdrop (Escher), 249, 256
Di of Antus, 333
diagonal method, Cantor's, 418-24, 426, 427-29,
438, 446, 469
Diagram G, 135-37
dialogicians, 81
dialogues, miniature, 191-92, 193, 408-9, 431,
560, 565, 595-96, 598, 599
Dialogues: origin of, 28, 665-69; as self-refs,
84--85, 129, 204, 502-3, 667, 738-39
Dickens, Charles, 326, 328, 380
Difference Engine, 25
differentiation, cellular, 543-46
digestion, 306
digits, shunting of, 264
Diophantine equations, 279, 459-60
Diophantus of Alexandria, 275
directory of real numbers, 421-24
disambiguation, 586-93, 603, 629-32
distance to goal, 611-13
divisor-freeness, 74
djinns, 113-15, 216-17, 223, 224; see also Genie
DNA: as aperiodic crystal, 167; as carrier of ge-
netic information, 159; compared to computer
languages, 290-91; composition and structure
of, 514-15; covalent backbone of, 514-15; as
declarative knowledge, 616-17; double strands,
514-15, 530-31; isomorphism with organism,
146-48; mode of self-replication, 529-30; in
outer space, 167, 175-76; as program, language,
data, 290-91, 547; quining and, 531; recombi-
nant, 665; relation to mRNA, 517; self-destroy-
ing, 536; unusual interpretation of, 231
DNA endonuclease, 530, 531
DNA ligase, 530, 531
Index
DNA polymerase, 530, 531
DNA Rapid Transit Service, 505, 517
Doctor program, 599-600, 608
dog-and-bone problem, 611-13
.doGma I, .doGma II, 532-33
dogs, 233, 234, 354, 383, 569, 570, 611-12, 679
Doko, 250, 698
Dostoevsky, Feodor, 379--80
double negation, 183, 545, 554
Double Nodulation, law of, 243
Dragon (Escher), 473-74, 524, 698
Drawing Hands (Escher), 15, 21, 133, 689-92, 710,
716, 737
dreams, 378, 379, 384, 725
Dreyfus, Hubert, 574
dualism, 251-55, 698-99; see also subject vs. object
Dumpty, H., 332
duplets (Typogenetics), 510, 512
Dvorak, Antonin, 163
E. coli bacterium, 176, 537-41
Earrwig, Dr. Tony, 586-93, 627
earth chauvinism, 171-72
Earth-Moon-Sun system, 353-54
earthworm(s), 341-42
Eccles, John, 574
Edifying Tlwughts of a Tobacco Smoker (Bach), 482
Edifying Thoughts of a Tobacco Smoker (Dialogue),
543
eggs, 192, 360, 383
Einstein, Albert, 100
electrons, 140-46, 258, 303-5
ELIZA, see Doctor program
embedding of formal systems, 97, 207, 215
emergent phenomena, 708-9, 714
emotions: brains and, 83; counterfeit, 599-600;
dependence of intelligence upon, 573, 597-98;
as epiphenomena, 677; music and, 83, 160,
163~, 174-75,383--84,626-27, 676-77,699;
potential, 281, 383--84, 583; programs and, 573,
597-600, 626-27, 675-77; universality of, 163,
174-75
emulation, 295
Endlessly Rising Canon (Bach), 10-11, 15,46, 130,
717-19,742
ENIUQ (procedure), 498-99
enlightenment, 232, 237, 243, 246, 251, 254-55,
479, 567
Enlightenment 'Yond Enlightenment, 237, 239,
243,244
Eno, 232, 252
enzymes: function of, 520-22, 528-30, 543-45; as
models for AI, 663~; rules of inference and,
509-10, 513, 531; structure of, 519-21, 525; syn-
thesis of, 517-19,522-25,527-29,538-45,547;
versatility of, 529; vs. typoenzymes, 529; See also
proteins, typoenzymes
epigenesis, 159-60, 161-62, 531-32, 665
Epimenides, picture of, 496
Epimenides paradox: connection with GOOeI's
Theorem, 17-18; Escher and, 716; expanded
version, 21, 22; fear of, 23; French-English ver-
sion, 501; indirect recursion and, 134; molecu-
lar version, 536-37; neural version, 584--85;
Quine version, 431-37, 445,446, 449, 497-99,
531, 537; subtlety of, 495-98; Tarski version,
580--81, 584--85; two levels of, 581, 584--85;
Whitely'S version, 476-77
epiphenpmena, 308-9, 363, 577, 596, 677-79
errors in programs, 295, 297-98, 596763