A Class of Models with the Potential to Represent Fundamental Physics

Quantum mechanics and general relativity—both introduced more than a century ago— have delivered many impressive successes in physics. But so far they have not allowed the formulation of a complete, fundamental theory of our universe, and at this point it seems worthwhile to try exploring other foundations from which space, time, general relativity, quantum mechanics and all the other known features of physics could emerge.

[1]  Dimitri Bourilkov.  Search for TeV strings and new phenomena in Bhabha scattering at CERN LEP2 , 2000 .

[2]  T. Rizzo,et al.  Extra Dimensions , 2001 .

[3]  Adam Marsh,et al.  Gauge Theories and Fiber Bundles: Definitions, Pictures, and Results , 2016, 1607.03089.

[4]  R. Penrose.  Angular Momentum: an Approach to Combinatorial Space-Time , 1971 .

[5]  S. Wolfram.  Cellular automaton fluids 1: Basic theory , 1986 .

[6]  Klaudia Frankfurter,et al.  Handbook Of Theoretical Computer Science Vol B Formal Models And Semantics , 2016 .

[7]  D. J. Collins,et al.  Review: Ju. V. Matijasevic, Sue Walker, Simple Examples of Undecidable Associative Calculi , 1968 .

[8]  E. T..  An Introduction to the Theory of Numbers , 1946, Nature.

[9]  Maribel Fernández.  The Lambda Calculus , 2009 .

[10]  Karl Schwarzschild,et al.  Über das Gravitationsfeld einer Kugel aus inkompressibler Flüssigkeit nach der Einsteinschen Theorie , 1916 .

[11]  W. Thurston.  The geometry and topology of three-manifolds , 1979 .

[12]  Michael Kapovich,et al.  Lectures on the Geometric Group Theory , 2003 .

[13]  David Hilbert,et al.  Die Grundlagen der Physik . (Erste Mitteilung.) , 1915 .

[14]  Marcus Greferath,et al.  Projective Geometry on Modular Lattices , 1995 .

[15]  G. Lemaître.  Un Univers homogène de masse constante et de rayon croissant rendant compte de la vitesse radiale des nébuleuses extra-galactiques , 1927 .

[16]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[17]  Alfred Gray,et al.  Modern differential geometry of curves and surfaces with Mathematica (2. ed.) , 1998 .

[18]  Karl Svozil.  Are quantum fields cellular automata , 1986 .

[19]  Danna Zhou,et al.  d. , 1934, Microbial pathogenesis.

[20]  A. Einstein.  Die Feldgleichungen der Gravitation , 2006 .

[21]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[22]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[23]  Friedrich Otto,et al.  String-Rewriting Systems , 1993, Text and Monographs in Computer Science.

[24]  Lisa Randall,et al.  What Is Dark Matter? , 2018, Nature.

[25]  Bruno Buchberger,et al.  History and Basic Features of the Critical-Pair/Completion Procedure , 1987, J. Symb. Comput..

[26]  Andrew Lesniewski,et al.  Noncommutative Geometry , 1997 .

[27]  Paul D. Seymour,et al.  Graph minors. I. Excluding a forest , 1983, J. Comb. Theory, Ser. B.

[28]  S. Wolfram.  Statistical mechanics of cellular automata , 1983 .

[29]  Robin Forman,et al.  Bochner's Method for Cell Complexes and Combinatorial Ricci Curvature , 2003, Discret. Comput. Geom..

[30]  A. Church,et al.  Some properties of conversion , 1936 .

[31]  Emil L. Post.  Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[32]  S. Hawking,et al.  Black hole explosions? , 1974, Nature.

[33]  Rovelli,et al.  Spin networks and quantum gravity. , 1995, Physical review. D, Particles and fields.

[34]  M. Newman.  On Theories with a Combinatorial Definition of "Equivalence" , 1942 .

[35]  W. Heitler.  The Principles of Quantum Mechanics , 1947, Nature.

[36]  Gerard 't Hooft,et al.  The Cellular Automaton Interpretation of Quantum Mechanics , 2014, 1405.1548.

[37]  Jonathan Gorard,et al.  Some Relativistic and Gravitational Properties of the Wolfram Model , 2020, Complex Syst..

[38]  Adolf Smekal,et al.  Die Grundlagen der Physik , 1922 .

[39]  Matthew P. Szudzik,et al.  The Rosenberg-Strong Pairing Function , 2017, ArXiv.

[40]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[41]  J. Maldacena,et al.  Eternal black holes in anti-de Sitter , 2001, hep-th/0106112.

[42]  Stephen Wolfram,et al.  Abundances of new stable particles produced in the early universe , 1979 .

[43]  R. Solomonoff.  A PRELIMINARY REPORT ON A GENERAL THEORY OF INDUCTIVE INFERENCE , 2001 .

[44]  Andreas Thom,et al.  FINITARY APPROXIMATIONS OF GROUPS AND THEIR APPLICATIONS , 2017, Proceedings of the International Congress of Mathematicians (ICM 2018).

[45]  R. Grigorchuk.  Degrees of Growth of Finitely Generated Groups, and the Theory of Invariant Means , 1985 .

[46]  G. Musser,et al.  What Is Spacetime? , 2018, Nature.

[47]  Fotini Markopoulou.  The Internal Description of a Causal Set:¶What the Universe Looks Like from the Inside , 2000 .

[48]  Alex Smith.  Universality of Wolfram's 2, 3 Turing Machine , 2020, Complex Syst..

[49]  Douglas Lind,et al.  An Introduction to Symbolic Dynamics and Coding , 1995 .

[50]  R. Loll.  Discrete Lorentzian Quantum Gravity , 2000 .

[51]  Wolfram,et al.  Origins of randomness in physical systems. , 1985, Physical review letters.

[52]  J. Richard Büchi.  Regular canonical systems , 1964 .

[53]  J. Lauri,et al.  Topics in Graph Automorphisms and Reconstruction , 2003 .

[54]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[55]  M. Gromov.  Groups of polynomial growth and expanding maps , 1981 .

[56]  William Thomson.  On the division of space with minimum partitional area , 1887 .

[57]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[58]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

[59]  J. Bekenstein.  Universal upper bound on the entropy-to-energy ratio for bounded systems , 1981, Jacob Bekenstein.

[60]  J. G. Russo.  Discrete strings and deterministic cellular strings , 1993 .

[61]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[62]  Emil L. Post.  Recursive Unsolvability of a problem of Thue , 1947, Journal of Symbolic Logic.

[63]  A. Einstein,et al.  Die Grundlage der allgemeinen Relativitätstheorie , 1916 .

[64]  C. Kuratowski.  Sur le problème des courbes gauches en Topologie , 1930 .

[65]  T. Peters.  Gravitation , 2018, PHYSIK.

[66]  Othmar Marti,et al.  Raum und Zeit , 1999 .

[67]  J. Neumann,et al.  Continuous Geometry. , 1936, Proceedings of the National Academy of Sciences of the United States of America.

[68]  A. Church.  An Unsolvable Problem of Elementary Number Theory , 1936 .

[69]  Brendan D. McKay,et al.  Vertex-transitive graphs which are not Cayley graphs, I , 1994, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[70]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[71]  B. Mohar,et al.  Graph Minors , 2009 .

[72]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[73]  John Milnor,et al.  A note on curvature and fundamental group , 1968 .

[74]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[75]  Satoshi Nakamoto.  Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .

[76]  S. Rychkov,et al.  Deligne categories in lattice models and quantum field theory, or making sense of O(N) symmetry with non-integer N , 2019, Journal of High Energy Physics.

[77]  H. Minkowski,et al.  Die Grundgleichungen für die elektromagnetischen Vorgänge in bewegten Körpern , 1910 .

[78]  Y. Choquet-bruhat.  General Relativity and the Einstein Equations , 2009 .

[79]  B. Hall.  Quantum Theory for Mathematicians , 2013 .

[80]  Michael S. Turner,et al.  The early Universe , 1981, Nature.

[81]  H. Dehmelt,et al.  A Single Atomic Particle Forever Floating at Rest in Free Space: New Value for Electron Radius , 1988 .

[82]  Charles Delman.  Incidence Geometry , 2009 .

[83]  John Stillwell,et al.  Sources of Hyperbolic Geometry , 1996 .

[84]  Y. Ollivier.  A visual introduction to Riemannian curvatures and some discrete generalizations , 2012 .

[85]  Stephen Wolfram.  Logic, Explainability and the Future of Understanding , 2019, Complex Syst..

[86]  M. Lehto,et al.  Geometry, pregeometry and beyond , 2004, gr-qc/0411053.

[87]  Andrzej Mostowski,et al.  Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems , 1948 .

[88]  M. Schönfinkel.  Über die Bausteine der mathematischen Logik , 1924 .

[89]  Antonio Degasperis,et al.  Does the lifetime of an unstable system depend on the measuring apparatus? , 1974 .

[90]  Thomas Appelquist.  Dimensional reduction in quantum gravity , 2008 .

[91]  Bombelli,et al.  Space-time as a causal set. , 1987, Physical review letters.

[92]  Edward Fredkin,et al.  An Introduction to Digital Philosophy , 2003 .

[93]  John Archibald Wheeler,et al.  PREGEOMETRY: MOTIVATIONS AND PROSPECTS , 1980 .

[94]  G. Hardy.  Properties of Logarithmico‐Exponential Functions , 2022 .

[95]  A. Kolmogorov.  Three approaches to the quantitative definition of information , 1968 .

[96]  A. Ashtekar,et al.  New variables for classical and quantum gravity. , 1986, Physical review letters.

[97]  David Fisher,et al.  Quasi-isometries and rigidity of solvable groups , 2005 .

[99]  Jonathan Gorard,et al.  Some Quantum Mechanical Properties of the Wolfram Model , 2020, Complex Syst..

[100]  Isabella Thiesen.  Networks as Manifolds , 2011 .

[101]  Michael Atiyah,et al.  Twistor theory at fifty: from contour integrals to twistor strings , 2017, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[102]  Fay Dowker.  Causal sets as discrete spacetime , 2006 .

[103]  P. Leifer,et al.  Superrelativity as an element of a final theory , 1997 .

[104]  E Kasner,et al.  The Apollonian Packing of Circles. , 1943, Proceedings of the National Academy of Sciences of the United States of America.

[105]  J. Jurkiewicz,et al.  Quantum Gravity, or The Art of Building Spacetime , 2006 .

[106]  Carlo Rovelli,et al.  Loop Quantum Gravity , 2008, Living Reviews in Relativity.

[107]  Dana S. Scott,et al.  Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..

[108]  Brian Swingle,et al.  Constructing holographic spacetimes using entanglement renormalization , 2012, 1209.3304.

[109]  R. Bousso.  The Holographic principle , 2002, hep-th/0203101.

[110]  Alfred Gray,et al.  The volume of a small geodesic ball of a Riemannian manifold. , 1974 .

[111]  H. Poincaré,et al.  On Analysis Situs , 2010 .

[112]  Gregory J. Chaitin,et al.  On the Length of Programs for Computing Finite Binary Sequences , 1966, JACM.

[113]  L. H. Kauffman,et al.  DISCRETE PHYSICS AND THE DIRAC EQUATION , 1996, hep-th/9603202.

[114]  John P. Moussouris,et al.  Quantum models of space-time based on recoupling theory , 1984 .

[115]  Chang Liu,et al.  Term rewriting and all that , 2000, SOEN.

[116]  A. Turing.  Finite Approximations to Lie Groups , 1938 .

[117]  Nicholas Rescher.  Principia philosophiae , 2002 .

[118]  David Finkelstein,et al.  Quantum Relativity: A Synthesis of the Ideas of Einstein and Heisenberg , 1996 .

[119]  T. Regge.  General relativity without coordinates , 1961 .

[120]  Konrad Zuse,et al.  Rechnender Raum , 1991, Physik und Informatik.

[121]  Lambert E. Murray.  An Introduction to Special Relativity , 2012 .

[122]  C. J. Isham,et al.  A topos foundation for theories of physics: I. Formal languages for physics , 2007 .

[123]  Bruno Buchberger,et al.  A theoretical basis for the reduction of polynomials to canonical forms , 1976, SIGS.

[124]  R. Feynman,et al.  Quantum Mechanics and Path Integrals , 1965 .

[125]  N. Steenrod.  Topology of Fibre Bundles , 1951 .

[126]  Stephen Wolfram,et al.  Universality and complexity in cellular automata , 1983 .

[127]  J. Ambjorn,et al.  The geometry of dynamical triangulations , 1996, hep-th/9612069.

[128]  M. Bálek,et al.  Large Networks and Graph Limits , 2022 .

[129]  Béla Bollobás,et al.  Graph Theory: An Introductory Course , 1980, The Mathematical Gazette.

[130]  I. Rabinovitch,et al.  NON-EUCLIDEAN GEOMETRY. , 1906, Science.

[131]  I. Good,et al.  Fractals: Form, Chance and Dimension , 1978 .

[132]  Susskind,et al.  The stretched horizon and black hole complementarity. , 1993, Physical review. D, Particles and fields.

[133]  J. Baez.  2 BF Theory : Classical Field Equations , 1999 .

[134]  E. Sudarshan,et al.  Zeno's paradox in quantum theory , 1976 .

[135]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .

[136]  Martin Davis,et al.  The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .