Index of Names
Kaluza, Theodor F. E. (Germany, 1885–1954)
and notions of space, 1028
Kaneko, Kunihiko (Japan, 1956– )
and continuous CAs, 922
in Preface, xiii
Kant, Immanuel (Germany, 1724–1804)
and complexity in biology, 861
and free will, 1135
and purposes in nature, 1185
Karatsuba, Anatolii A. (Russia, 1937–[2008])
and multiplication, 1142
Kari, Jarkko J. (Finland/USA, 1964– )
and undecidability in 2D cellular automata, 1138
Kármán, Theodore von (Hungary/Germany/USA, 1881–1963)
and vortex streets, 998
Kasiski, Friedrich W. (Poland, 1805–1881)
and cryptanalysis, 1086
Kauffman, Stuart A. (USA, 1939– )
and Boolean networks, 936
in Preface, xiii
Kelvin (William Thomson) (Scotland, 1824–1907)
and harmonic analyzer, 1107
and minimum area packings, 988
and models of space, 1027
and Monte Carlo methods, 1192
and thermodynamics, 1019
and vortices in ether, 1044
Kepler, Johannes (Germany, 1571–1630)
and 2-body problem, 972
and computers, 1107
and Fibonacci numbers, 891
and inhabitants of Moon, 1190
and rules of nature, 860
and snowflakes, 992
and sphere packings, 986
Kirby, Laurence A. S. (England/USA, 1952– )
and unprovable statements, 1163
Kirkpatrick, E. Scott (USA, 1941– )
in Preface, xiii
and simulated annealing, 985
Klein, Oskar (Sweden/Denmark/USA, 1894–1977)
and notions of space, 1028
Knuth, Donald E. (USA, 1938– )
and dragon curves, 893
and Knuth–Bendix procedure, 1037
in Preface, xiii
and tests of randomness, 1084
Koch, N. F. Helge von (Sweden, 1870–1924)
and nested curves, 934
Kolakoski, William G. (USA, 1944–1997)
and cyclic tag systems, 895
Kolmogorov, Andrei N. (Russia, 1903–1987)
and algorithmic randomness, 1068
and fluid turbulence, 997
Korec, Ivan (Slovakia, 1943–1998)
and encodings of arithmetic, 1163
and register machines, 1121
Kummer, Ernst E. (Germany, 1810–1893)
and Fermat's Last Theorem, 1166
Kurdyumov, Georgii L. (Russia, 1953– )
and transitions in CAs, 981
Lagrange, J. Louis (La Grange) (Italy/Germany/France, 1736–1813)
and continued fractions, 915
Landau, Lev D. (Russia, 1908–1968)
and fluid turbulence, 997
Langton, Christopher G. (USA, 1948– )
and 2D Turing machines, 930
and CA classes, 948
in Preface, xiii
Laplace, Pierre-Simon (France, 1749–1827)
and Central Limit Theorem, 977
and determinism, 1135
Legendre, Adrien-Marie (France, 1752–1833)
and sums of three squares, 910
Lehmer, Derrick H. (USA, 1905–1991)
and linear congruential generators, 974
Lehr, Eduard (Germany, ~1932)
and parametric curves, 1009
Leibniz, Gottfried W. v. (Germany, 1646–1716)
and binary numbers, 902
and calculators, 1107
and free will, 1135
and I Ching, 893
and idealizations of math, 1149
and logic, 1099
and logic as basis for science, 860
and math notation, 1182
and the nature of space, 1028
and origins of universality, 1109
and symbolic logic, 1151
and universal language, 1181
Lempel, Abraham (Israel, 1936– )
and data compression, 1069
Lenz, Wilhelm (Germany, 1888–1957)
and Ising model, 981
Leucippus (Greece, ~480 – ~420 BC)
and atomism, 876
Levin, Leonid A. (Russia/USA, 1948– )
and NP completeness, 1143
in Preface, xiii
and transitions in CAs, 981
Lévy, Paul P. (France, 1886–1971)
and nested C curve, 893, 934
Li, Wentian (USA, 1959– )
and CA classes, 948
in Preface, xiii
Lindenmayer, Aristid (USA/Netherlands, 1925–1989)
and L systems, 893
and plant branching, 1005
in Preface, xiii
Lindgren, Kristian (Sweden, 1960– )
in Preface, xiii
and universal CAs, 1115
Linial (Gulden), Samuel (USA, 1927–[2004])
and underivability of logic axioms, 1170
Littlewood, John E. (England, 1885–1977)
and chaos theory, 971
and Goldbach's Conjecture, 911
and iterated maps, 919
and numbers of primes, 910
Lorentz, Hendrik A. (Netherlands, 1853–1928)
and relativity theory, 1041
Lorenz, Edward N. (USA, 1917–[2008])
and chaos theory, 971
and complex ODE, 879
and experimental math, 899
and fluid turbulence, 998
in Preface, xiii
Lotka, Alfred J. (USA, 1880–1949)
and oscillatory chemical reactions, 1013
Lovelace, A. Ada (Byron) K. (England, 1815–1852)
and universality, 1110
Lucas, F. Edouard A. (France, 1842–1891)
and binomials mod k, 870
Lucian (Greece, 120 – ~180 AD)
and inhabitants of Moon, 1190
Lucretius, Titus Carus (Italy, ~95 – ~55 BC)
and atomism, 876
and models based on rules, 860
Łukasiewicz, Jan (Poland, 1878–1956)
and axioms for logic, 1151
and multivalued logic, 1175
Mach, Ernst (Austria/Czech., 1838–1916)
and Mach's Principle, 1047, 1053
and origins of relativity, 1042
Machiavelli, Niccolò (Italy, 1469–1527)
and rules for military drill, 875
Magnus, Wilhelm (Germany/USA, 1907–1990)
and word problem for groups, 1141
Makanin, Gennadií S. (Russia, 1938– )
and sequence equations, 1141
and undecidable word problems, 1141
Mandelbrot, Benoit B. (France/USA, 1924–[2010])
and branching models, 1005
and computer experiments, 899
and financial processes, 1014
and fractal landscapes, 1001
and fractals, 880, 934
and history of complexity, 862
and Mandelbrot set, 934
in Preface, xiii
and random walks, 990
Manneville, Paul (France, 1946– )
and CA classes, 948
and continuous CAs, 922
Marconi, Guglielmo (Italy, 1874–1937)
and SETI, 1188
Margolus, Norman H. (USA, 1955– )
and 2D CA simulators, 928
in Preface, xiii
Markov, Andrei A. (Russia, 1903–1979)
and sequential substitution systems, 894
and statistics of language, 1181
and undecidability, 1136
and word problem for semigroups, 1141
Marr, David C. (England/USA, 1945–1980)
and visual perception, 1076
Martin, Olivier C. (USA/France, 1958– )
and additive CAs, 951
as coauthor of paper, 881
in Preface, xii, xiii
Martin-Löf, Per E. R. (Sweden, 1942– )
and randomness, 1068
Marxen, Heiner (Germany, 1957– )
and Turing machines, 889
Massey, James L. (USA/Switzerland, 1934–[2013])
and Berlekamp–Massey algorithm, 1087
Matiyasevich, Yuri (Russia, 1947– )
and Diophantine equations, 1161
in Preface, xiii
and word problem for semigroups, 1141
Maxwell, James Clerk (Scotland/England, 1831–1879)
and chaos theory, 971
and electromagnetism, 1041
and fluttering of paper, 971
and gauge invariance, 1045
and Maxwell's demon, 1021
and statistical mechanics, 1019
and stochastic models, 968
May, Robert M. (Australia/USA/England, 1936– )
and chaos theory, 971
Mazoyer, Jacques (France, 1947– )
and firing squad problem, 1035
McCarthy, John (USA, 1927–[2011])
and theorems in Lisp, 1168
McCulloch, Warren S. (USA, 1898–1972)
and neural networks, 880, 1099
and universality, 1110
McCune, William W. (USA, 1953–[2011])
and axioms for groups, 1153
and axioms for logic, 1151
Meier, Willi (Switzerland, 1948– )
and cryptanalysis of rule 30, 1087
Meinhardt, Hans (Germany, 1938–[2016])
and patterns on shells, 1012
in Preface, xiii
and reaction-diffusion, 1013
Menger, Karl (Austria/USA, 1902–1985)
and nested patterns, 934
Meredith, Carew A. (Ireland, 1904–1976)
and axioms for logic, 1175
Meredith axioms
for logic, 1175
Mersenne, Marin (France, 1588–1648)
and primes, 909
Michelson, Albert A. (USA, 1852–1931)
and experimental math, 899
and Michelson–Morley experiment, 1041
Millen, Jonathan K. (USA, 1942– )
and code 20 CA, 877
Miller, Stanley L. (USA, 1930–[2007])
and origin of life, 1179
Minkowski, Hermann (Germany, 1864–1909)
and relativity theory, 1042
Minsky, Marvin L. (USA, 1927–[2016])
and discreteness of space, 1027
in Preface, xiii
and register machines, 896, 1115
and simple Turing machines, 879, 889, 1143
and tag systems, 1120
and universal Turing machine, 1115, 1119
Mises, Ludwig E. von (Austria/USA, 1881–1973)
and free will, 1135
Mises, Richard von (Austria/USA, 1883–1953)
and defining randomness, 1068
Moore, Cristopher (USA, 1968– )
and P completeness, 1149
Moore, Edward F. (USA, 1925–[2003])
and 2D cellular automata, 928
Morrison, Philip (USA, 1915–[2005])
and SETI, 1189
Morse, H. C. Marston (USA, 1892–1977)
and substitution systems, 893
Moseley, Henry (England, 1801–1872)
and shell shapes, 1008
Muchnik, Albert A. (Russia, 1934–[2019])
and intermediate degrees, 1130
Mullins, William W. (USA, 1927–2001)
and dendritic growth, 993
Murray, James D. (England/USA, 1931– )
in Preface, xiii
and reaction-diffusion, 1013
Myhill, John R. (USA, 1923–1987)
and firing squad problem, 1035
Nakaya, Ukichiro (Japan, 1900–1962)
and snowflakes, 992
Napier, John (Scotland, 1550–1617)
and binary numbers, 902
Neumann, Bernhard H. (England/Australia, 1909–[2002])
and axioms for groups, 1153
Newcomb, Simon (USA, 1835–1909)
and leading digits, 914
Newell, Allen (USA, 1927–1992)
and automated proofs, 1157
Newton, Isaac (England, 1642–1727)
and 2-body problem, 972
and calculus, 901
and color vision, 1075
and computational irreducibility, 1132
and invariance of mechanical laws, 1041
and law of gravity, 1047
and math in science, 859, 860
and nature of space, 1028
in quote by Kant, 861
and theology, 861
Nicod, Jean (France, 1893–1924)
and axioms for logic, 1151
Nordahl, Mats G. (Sweden, 1958– )
in Preface, xiii
and universal CAs, 1115
Novikov, Petr S. (Russia, 1901–1975)
and word problem for groups, 1141
Odlyzko, Andrew M. (USA, 1949– )
and additive CAs, 951
as coauthor of paper, 881
in Preface, xiii
and zeros of zeta function, 918
Olaus Magnus (Sweden/Italy, 1490–1568)
and snowflakes, 992
Onsager, Lars (USA, 1903–1976)
and 2D Ising model, 982
Oresme, Nicole (France, ~1320–1382)
and time as a dimension, 1031
Oseen, C. William (Sweden, 1879–1944)
and fluid flow past spheres, 998
Oster, George F. (USA, 1940–[2018])
and patterns on shells, 1012
in Preface, xiii