Index of Names
Ackermann, Wilhelm (Germany, 1896–1962)
and Ackermann functions, 906
Aiken, Howard H. (USA, 1900–1973)
and Mark I computer, 1107
Albertus Magnus (Germany, ~1200–1280)
and mathematics in science, 859
Alder, Berni J. (USA, 1925–2020)
and inspirational book cover, 864
and molecular dynamics, 879, 999
in Preface, xiii
Alekseev, Vladimir M. (Russia, 1932–1980)
and 3-body problem, 973
Alexander, James W. (USA, 1888–1971)
and moves on networks, 1038
Ammann, Robert (USA, 1946–1994)
and nested tilings, 942
Anaxagoras (Greece, ~500 – ~428 BC)
and purpose in nature, 1185
Apollonius (Turkey/Egypt, ~262 BC – ~190 BC)
and circle packing, 986
Aquinas, Thomas (Italy, 1225–1274)
and argument by design, 861
Archimedes (Sicily, 287–212 BC)
and π, 911
and use of mathematics, 859
Aristotle (Greece, 384–322 BC)
and complexity, 861
and definition of life, 1178
and embryology, 1010
and gnomons, 1008
and history of logic, 1099
and logic in science, 860
and nature of space, 1028
and origins of randomness, 967
and purpose in nature, 1185
and theoretical biology, 1003
Atanasoff, John V. (USA, 1903–1995)
and early electronic computers, 1107
Augustine (Algeria, 354–430 AD)
and free will, 1135
Axelrod, Robert M. (USA, 1943– )
and prisoner's dilemma, 1104
Babbage, Charles (England, 1791–1871)
and computers, 1107
and universality, 1110
Bachelier, Louis (France, 1870–1946)
and randomness in markets, 1014
Backus, John (USA, 1924–[2007])
and computer languages, 1104
Bacon, Roger (England, ~1219 – ~1292)
and math in science, 859
Bak, Per (Denmark/USA, 1947–[2002])
and self-organized criticality, 989
Baker, Alan (England, 1939– )
and Diophantine equations, 1164
Banks, E. Roger (USA, 1944– )
and 1D universal CA, 1115
and 2D universal CA, 1117
Barnsley, Michael F. (England/USA, 1946– )
and parameter space sets, 1006
and pictures of ferns, 1005
Batcher, Kenneth E. (USA, 1935– )
and sorting networks, 1142
Bays, Carter (USA, 1940– )
and 3D class 4 CAs, 949
Beeler, Michael D. (USA, 1944– )
and 2D Turing machines, 930
Bell, Alexander Graham (USA, 1847–1922)
and speech sounds, 1080
Bell, David I. (USA/Australia, 1953– )
and structures in Life, 965
Bell, John S. (England/Switzerland, 1928–1990)
and quantum mechanics, 1058
Belousov, Boris P. (Russia, 1893–1970)
and oscillatory chemical reactions, 1013
Bendix, Peter B. (USA, 1946– )
and Knuth–Bendix procedure, 1037
Benford, Frank (USA, 1883–1948)
and leading digits, 914
Bennett, Charles H. (USA, 1943– )
and logical depth, 1069
in Preface, xiii
and reversibility of computation, 1020
and sphere packing, 985
Bentley, Wilson A. (USA, 1865–1931)
and snowflakes, 992
Berger, Robert (USA, 1938– )
and non-periodic tilings, 943
and undecidability in tiling, 1139
Berlekamp, Elwyn R. (USA, 1940–[2019])
and Berlekamp–Massey algorithm, 1087
Bernoulli, Daniel (Netherlands/Switzerland, 1700–1782)
and molecular theory of gases, 1019
Birkhoff, Garrett (USA, 1911–1996)
and equational logic, 1172
Black, Fischer (USA, 1938–1995)
and options pricing, 1015
Blum, Lenore C. (USA, 1942– )
in Preface, xiii
and random generators, 1090
Blum, Manuel (USA, 1938– )
in Preface, xiii
and random generators, 1090
Bobrow, Daniel G. (USA, 1935–[2017])
and simple Turing machines, 1143
Bohm, David J. (USA/England, 1917–1992)
and discreteness of space, 1027
and hidden variables, 1058
Bohr, Niels H. D. (Denmark, 1885–1962)
and quantum theory, 1056
Boltzmann, Ludwig E. (Austria, 1844–1906)
and statistical mechanics, 1019
Boole, George (England/Ireland, 1815–1864)
and axioms for logic, 1151
and Boolean functions, 1097
and continuous logic, 1175
and model for thought, 1099
Boone, William W. (USA, 1920–1983)
and word problem for groups, 1141
Borel, F. E. J. Emile (France, 1871–1956)
and defining randomness, 1068
and normal numbers, 912
Brady, Allen H. (USA, 1934– )
and 2D Turing machines, 930
Bravais, Auguste (France, 1811–1863)
and phyllotaxis, 1007
Bravais, Louis F. (France, 1801–1843)
and phyllotaxis, 1007
Bray, William C. (USA, 1879–1946)
and oscillatory chemical reactions, 1013
Broadwell, James E. (USA, 1921–[2018])
and CA fluids, 999
Broglie, Louis-V.-P.-R. de (France, 1892–1987)
and wave-particle duality, 1056
Brouwer, Luitzen E. J. (Netherlands, 1881–1966)
and character of math, 1176
Bruns, E. Heinrich (Germany, 1848–1919)
and three-body problem, 972
Buch, Arnim (Germany, 1969– )
and automated proofs, 1158
Buchberger, Bruno (Austria, 1942– )
and Gröbner basis approach, 1037
in Preface, xiii
Buntrock, Jürgen (Germany, 1958– )
and long-running TMs, 889
Burks, Arthur W. (USA, 1915–[2008])
and cellular automata, 876
in Preface, xiii
Bush, Vannevar (USA, 1890–1974)
and differential analyzer, 1107
Caesar, Julius (Italy, 100–44 BC)
and cryptography, 1085
Campbell, John H. (USA, 1938– )
and patterns on shells, 1012
in Preface, xiii
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
Carnot, Sadi N. L. (France, 1796–1832)
and thermodynamics, 1019
Cartwright, Mary L. (England, 1900–1998)
and chaos theory, 971
Casimir, Hendrik B. G. (Netherlands, 1909–2000)
and electron model, 1044
Catalan, Eugène C. (Belgium, 1814–1894)
and iterated aliquot sums, 911
Cayley, Arthur (England, 1821–1895)
and group theory, 1153
and iterated maps, 918
Chaitin, Gregory J. (USA/Argentina, 1947– )
and algorithmic randomness, 1068
and experimental math, 899
in Preface, xiii
and randomness in arithmetic, 1067
and universal objects, 1127
Champernowne, David G. (England, 1912–2000)
and normal numbers, 912
Chaté, Hugues (France, 1961– )
and CA classes, 948
and continuous CAs, 922
Chomsky, Noam (USA, 1928– )
and generative grammars, 939
and models of language, 1104
and universals in language, 1181
Church, Alonzo (USA, 1903–1995)
and Church's Thesis, 1125
and defining randomness, 1068
and lambda calculus, 1121
and models of computation, 879
and number combinators, 1122
and origins of universality, 1110
and undecidability, 1136
Cicero, M. Tullius (Italy, 106–43 BC)
and free will, 1135
Clausius, Rudolf J. E. (Germany, 1822–1888)
and thermodynamics, 1019
Cocconi, Giuseppe (Italy/USA/Switzerland, 1914–[2008])
and SETI, 1189
Codd, Edgar F. (USA, 1923–[2003])
and universal CAs, 1117
Cohen, Paul J. (USA, 1934–[2007])
and continuum hypothesis, 1155
Conway, John H. (England/USA, 1937–[2020])
and arithmetic recurrences, 1115
and Game of Life, 877, 880, 949
and iterated run-length encoding, 905
and non-periodic tilings, 943
in Preface, xiii
and recursive sequences, 907
and universality of Life, 1117
Cook, Matthew (USA, 1970– )
and cyclic tag systems, 895
and polyomino tiling, 943
in Preface, xii
and rule 110, 1115
Cook, Stephen A. (USA/Canada, 1939– )
and NP completeness, 1143
Cosmas (Italy, ~1210 – ~1235)
and mosaic patterns, 873
Cowe, Russell J. (UK, 1946– )
and shell patterns, 1012
Crutchfield, James P. (USA, 1955– )
and Markov models, 1084
in Preface, xiii
Curry, Haskell B. (USA, 1900–1982)
and combinators, 898
da Vinci, Leonardo (Italy, 1452–1519)
and fluid turbulence, 997
and geometrical rules, 878
and math in science, 859
and phyllotaxis, 1007
and rule-based pictures, 875
and theory of lunes, 873
Dante Alighieri (Italy, 1265–1321)
and rhyming schemes, 875
Darwin, Charles R. (England, 1809–1882)
and Origin of Species, 1001
and origins of complexity, 861
Davis, H. Chandler (USA/Canada, 1926– )
and dragon curves, 893
Davis, Martin D. (USA, 1928– )
and Diophantine equations, 1161
in Preface, xiii
de Broglie, Louis-V.-P.-R. (France, 1892–1987)
and wave-particle duality, 1056
de Bruijn, Nicolaas G. (Netherlands, 1918–[2012])
and maximal sequences, 1089
de Moivre, Abraham (France/England, 1667–1754)
and Gaussian distribution, 977
Dedekind, J. W. Richard (Germany, 1831–1916)
and axioms for arithmetic, 1152
and categoricity of models, 1172
and primitive recursion, 907
and real numbers, 1153
Dehn, Max W. (Germany, 1878–1952)
and word problem for groups, 1141
Democritus (Greece, ~460 – ~370 BC)
and atomism, 876
and extraterrestrial life, 1180
Descartes, René (France/Netherlands, 1596–1650)
and complexity in biology, 861
and discrete space, 1027
and equiangular spirals, 1008
and snowflakes, 992
and sums of three squares, 910
and theoretical biology, 1003
and Turing test, 1099
Deutsch, David (England, 1953– )
in Preface, xiii
and quantum computers, 1147
Diffie, Whitfield (USA, 1944– )
and cryptography, 1089
in Preface, xiii
Diophantus (Egypt, ~246 – ~330 AD)
and Diophantine equations, 944
Dirac, Paul A. M. (England, 1902–1984)
and history of quantum mechanics, 1056
Drake, Frank D. (USA, 1930– )
and SETI, 1189
Drexler, K. Eric (USA, 1955– )
and nanotechnology, 1193
Duhem, Pierre M. M. (France, 1861–1916)
and chaos theory, 971
Dürer, Albrecht (Germany, 1471–1528)
and parametrizing growth, 1010
Eddington, Arthur S. (England, 1882–1944)
and models of the universe, 1025
Eden, Murray (USA, 1920– )
and aggregation systems, 978
Edgerton, Harold E. (USA, 1903–1990)
and splashes, 1000
Edison, Thomas A. (USA, 1847–1931)
and searching for materials, 1193
Ehrlich, Paul (Germany, 1854–1915)
and chemotherapy, 1193
Einstein, Albert (Germany/Switzerland/USA, 1879–1955)
and EPR experiment, 1058
and general relativity, 1047
and math in science, 860
and particles as gravity, 1054
and quantum theory, 1056
and special relativity, 1041
and unified field theory, 1028
Elkies, Noam D. (USA, 1966– )
and nearby powers, 1166
in Preface, xiii
Epicurus (Greece, 341–270 BC)
and randomness, 967
Eratosthenes (Egypt, 276–195 BC)
and prime sieve, 909
Ermentrout, G. Bard (USA, 1954– )
and patterns on shells, 1012
Escher, Maurits C. (Netherlands, 1898–1972)
and ornamental art, 874
Euclid (?Egypt, ~300 BC)
and axioms for geometry, 1154
and foundations of math, 1149
and math in science, 859
and mathematical induction, 1152
and nature of space, 1028
and perfect numbers, 911
and primes, 909
theorem network of, 1176
and theory of lunes, 873
Euler, Leonhard (Switzerland/Russia/Germany, 1707–1783)
and continued fractions, 914, 915
and a cubic Diophantine equation, 1165
and differential geometry, 1009
and equations for geodesics, 1049
and Fermat's Last Theorem, 1166
and number theory, 878
and perfect numbers, 911
and primes, 909