# 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(added after book publication) )

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, 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(added after book publication) )

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(added after book publication) )

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

Lukasiewicz, 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- )

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- )

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- )

and theorems in Lisp, 1168

McCulloch, Warren S. (USA, 1898-1972)

and neural networks, 880, 1099

and universality, 1110

McCune, William W. (USA, 1953- )

and axioms for groups, 1153

and axioms for logic, 1151

Meier, Willi (Switzerland, 1948- )

and cryptanalysis of rule 30, 1087

Meinhardt, Hans (Germany, 1938- )

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(added after book publication) )

and origin of life, 1179

Minkowski, Hermann (Germany, 1864-1909)

and relativity theory, 1042

Minsky, Marvin L. (USA, 1927-2016 (added after book publication) )

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, 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(added after book publication) )

and 2D cellular automata, 928

Morrison, Philip (USA, 1915-2005(added after book publication) )

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- )

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(added after book publication) )

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- )

and patterns on shells, 1012

in Preface, xiii