Index



C (programming language)
and chaos experiments, 919
as example of language, 1109
and history of computing, 1108
and my first CA experiments, 864
my use of, 854, 899
programs for CAs, 865
and register machines, 101

C curve
from 1D substitution system, 892
from 2D substitution system, 190

C60
and spherical networks, 1049

Cabala (universal object), 1127

Cabbage
phyllotaxis in, 409

Cable (wire rope)
and nesting in, 874

Cactus
phyllotaxis in, 409
regular shape of, 385

CAD (cylindrical algebraic decomposition), 1154

Caesar, Julius (Italy, 100–44 BC)
and cryptography, 1085

Caesar ciphers, 1085

Cages (small girth networks), 1029

Cahn–Hilliard equation, 980

Calabi–Yau manifolds, 1028, 1052

Calcite
hopper crystals in, 993

Calculators
chaos experiments on, 919
and history of computing, 1107
reverse Polish notation in, 896

Calculus
axioms for, 774
and computational reducibility, 1132
and continuous computation, 1129
equations based on, 161
history of notation for, 1182
and natural selection, 394
origin of word, 925
proofs in, 1177
role in history of science, 44
see also Propositional logic

Calculus of variations
and geodesics, 1049

Calculus ratiocinator
of Leibniz, 1149

California Institute of Technology, xiii

Calligraphy
Kufi, 874

Calls
of birds, 1180

Calogero–Moser model, 1133

Camouflage
stripes of zebras as, 1012
use of randomness in, 1192
and visual perception, 1077

Campbell, John H. (USA, 1938– )
and patterns on shells, 1012
in Preface, xiii

Cams
characteristic shapes of, 1183
for randomness generation, 969

Canalizing behavior (class 2 Boolean networks), 936

Canals
on Earth and Mars, 1180

Cancers
from DNA errors, 970
see also Tumor growth

Cannon balls
packing of, 986

Canonical ensemble
in 2D Ising model, 982
and path integrals, 1061

Canonical forms
establishing axioms with, 1170
in multiway systems, 1036
in proof searching, 1157
and proofs in logic, 1175
see also Confluence

Canonical quantization, 1057
of gravity, 1054

Canonical systems
see Multiway systems

Canons
rules for musical, 875

Cantor, Georg F. L. P. (Germany, 1845–1918)
and Cantor set, 893
and the continuum, 1127
and definition of dimension, 1030
and diagonal arguments, 1128
and digit sequences, 902
and history of numbers, 901
and real numbers, 1153
and set theory, 1154
and transfinite numbers, 1162

Cantor normal form
and Goodstein sequences, 1163
for ordinal numbers, 1162

Cantor pairing function (σ), 1127

Cantor set
attractors as forming, 959
and CA cardinality, 1128
and CA state space, 869, 958
from continuous systems, 1130
generating function for, 1092
properties of, 890
Sarkovskii's theorem for, 955
and shift registers, 975
spectrum of, 586, 1081
from substitution system, 83

Cantor's diagonal argument, 1127

Capacity (dimension), 959

Capillaries
branching in, 413, 1008

Capital Asset Pricing Model (CAPM), 1015

Caps on sphere
areas of, 1050

Carbon dioxide
and life on Mars, 1180

Cardinality
and the continuum, 1127

Cardinals
as generalizing numbers, 1168
as transfinite numbers, 1162

Cards
shuffling of, 968, 974
for storing programs, 1107

CarmichaelLambda
and linear congruential periods, 974
and quadratic generators, 975

Carnot, Sadi N. L. (France, 1796–1832)
and thermodynamics, 1019

Carpets
and 2D cellular automata, 929
Sierpiński, 188

Carrier frequencies, 835, 1188

Carrot leaves, 385, 1006

Carry digits
in arithmetic, 124
non-locality of, 730
in powers, 1093, 1112
in subtraction, 870
and Turing machines, 760

Cars
engine knocking in, 1194
evolution in, 1003
as randomness analogy, 304
traffic models, 1014
turning tracks of, 418

Cartesianism
and matter in space, 1028
see also Descartes, René

Cartilage
as precursor of bone, 1010

Cartoons
and visual perception, 1076

Cartwright, Mary L. (England, 1900–1998)
and chaos theory, 971

CAs
see Cellular automata

Cascades of eddies, 997

Casimir, Hendrik B. G. (Netherlands, 1909–2000)
and electron model, 1044

Casimir effect, 1062
and uniform spectra, 988

Casinos
and randomness of dice, 969

Castel del Monte
and nested architectural forms, 874

Catalan, Eugène C. (Belgium, 1814–1894)
and iterated aliquot sums, 911

Catalan (Catalan's constant)
and dimer problem, 959
from rational integral, 916

Catalan numbers (Binomial)
and balanced parentheses, 989
and Cantor set, 890
and number of expressions, 897

Catalan's Conjecture, 1166

Catalysis
repeatable randomness in, 976

Catalysts
searching for, 1193

Catastrophe theory
and biological form, 1004
and curved surfaces, 1009
discreteness from, 984
in rate equations, 984
summary of relations to, 12

Catch
and context-free parsing, 1103
and pointer-based encoding, 1071
and testing invariances, 1022
and testing reversibility, 1017

Categoricity
of axiom systems, 799, 1172

Category theory
axioms for, 774
history of, 1154
and idealization of math, 1150
and spin networks, 1055

Catenary
characteristic shape of, 1183
as exactly soluble, 1133

Caterpillars
eating paths of, 1011

Catfish
pigmentation pattern of, 426

Cats
patterns in tortoiseshell, 1014

Cauchy functional equation, 953

Cauchy problem
vs. constraints, 940
for general relativity, 1053

Cauchy surfaces, 1041

Cauliflower shape, 385

Causal invariance, 503
and concept of motion, 522, 529
and distributed computing, 1035
and emulated CAs, 1035
and gauge invariance, 527
for networks, 515
and quantum phenomena, 542
in simulating mobile automata, 1034

Causal networks
and cosmology, 1056
curvature in, 534
difficulty of deducing, 493
as directed graphs, 1033
from evolution history, 1033
exponential growth in, 496
and general relativity, 1053
as Hasse diagrams, 1033
history of, 1032
implementation of, 1033
and information transmission, 520
invariance of, 503
loops in, 494
from mobile automata, 488, 1033
from multiway systems, 507
vs. multiway systems, 1037
in network evolution, 514
and perceived spacetime, 516
and posets, 1040
random, 1052
and replacement orders, 501
reversibility in, 495
slices through, 516
from substitution systems, 497
and torsion, 1052

Causality
and Bell's inequalities, 1065
and free will, 1136

Causes
compared to regularities, 352

Caustics
and classical limits, 1059
discreteness from, 984

Cave paintings
interpretation of, 839
purposes of, 1184
recognition of, 874
and visual perception, 1076

Cayley, Arthur (England, 1821–1895)
and group theory, 1153
and iterated maps, 918

Cayley graphs, 938
cellular automata on, 930
and hyperbolic space, 1050
limiting geometry of, 1051
and network constraints, 1032
and sorting networks, 1142

Cayley's theorem
as example theorem, 1159

CCITT compression standard, 1070

CCSR (Center for Complex Systems Research), xiii

CDC 7600 computer, 854

CDMA
and radio signals, 1188
and SETI, 1190
and shift registers, 1086

CDs (compact discs)
bandwidth of, 1079