A128818 - OEIS

%I #13 Mar 31 2018 17:59:13

%S 100,105,11120000,113100120,11220000110,11220001110,1132000012120201

%N Examples of integer-encoded mathematical structures in Max Tegmark's "The Mathematical Universe".

%C 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."

%C 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 'shut-up-and-calculate' 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."

%H Max Tegmark, <a href="http://arXiv.org/abs/0704.0646">The Mathematical Universe</a>, 5 Apr 2007, Table 1, p. 3, arXiv:0704.0646

%H Max Tegmark, <a href="http://arXiv.org/abs/0709.4024">Shut up and calculate</a>, arXiv:0709.4024

%e "Any mathematical structure can be encoded as a finite string of integers ..."

%e a(1) = 100 which encodes the empty set;

%e a(2) = 105 which encodes the set of 5 elements;

%e a(3) = 11120000 which encodes the trivial group C_1;

%e a(4) = 113100120 which encodes the polygon P_3;

%e a(5) = 11220000110 which encodes the group C_2;

%e a(6) = 11220001110 which encodes Boolean algebra;

%e a(7) = 1132000012120201 which encodes the group C_3.

%K nonn

%O 1,1

%A _Jonathan Vos Post_, Apr 10 2007, Oct 01 2007