

A128818


Examples of integerencoded mathematical structures in Max Tegmark's "The Mathematical Universe".


0




OFFSET

1,1


COMMENTS

Abstract from "The Mathematical Universe" (see link below): "I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters and initial conditions to broader issues like consciousness, parallel universes and Godel incompleteness. I hypothesize that only computable and decidable (in Godel's sense) structures exist, which alleviates the cosmological measure problem and help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems."
Tegmark: "This is the 'director's cut' version of the Sep 15 2007 New Scientist cover story. For references, see the 'full strength' version at arXiv:0704.0646. I advocate an extreme 'shutupandcalculate' approach to physics, where our external physical reality is assumed to be purely mathematical. This brief essay motivates this 'it's all just equations' assumption and discusses its implications."


LINKS

Table of n, a(n) for n=1..7.
Max Tegmark, The Mathematical Universe, 5 Apr 2007, Table 1, p. 3, arXiv:0704.0646
Max Tegmark, Shut up and calculate, arXiv:0709.4024


EXAMPLE

"Any mathematical structure can be encoded as a finite string of integers ..."
a(1) = 100 which encodes the empty set;
a(2) = 105 which encodes the set of 5 elements;
a(3) = 11120000 which encodes the trivial group C_1;
a(4) = 113100120 which encodes the polygon P_3;
a(5) = 11220000110 which encodes the group C_2;
a(6) = 11220001110 which encodes Boolean algebra;
a(7) = 1132000012120201 which encodes the group C_3.


CROSSREFS

Sequence in context: A349771 A343552 A204585 * A204586 A204587 A204588
Adjacent sequences: A128815 A128816 A128817 * A128819 A128820 A128821


KEYWORD

nonn


AUTHOR

Jonathan Vos Post, Apr 10 2007, Oct 01 2007


STATUS

approved



