On 13 Nov 2014, at 23:10, Bruce Kellett wrote:
LizR wrote:
On 13 November 2014 17:42, Bruce Kellett <[email protected]
<mailto:[email protected]>> wrote:
Whatever the merits of that argument, it has little to do with the
maximum possible entropy. Rember, that occurs when all of the
mass/energy is in the form of black holes.
We're a long way from that situation. In order to explain the AOT
as it applies to the matter and energy that make up most of the
universe, we need to explain how it comes to be arranged as it
does, in arrangements that we are far from thermodynamic
equilibrium. (And any situation that raises the maximum entropy
available for matter and energy in terms of possible configurations
is therefore relevant, regardless of whether it affects the
theoretical maximum involving black holes.)
If you have a maximum available of 10^100 units, adding or
subtracting 10^50 units is totally irrelevant, in any sense of the
term 'irrelevant'.
Matter is currently arranged as it is because of the laws of physics
acting on the initial conditions. Physics is not well equipped to
deal with initial conditions. All one can do is go to some earlier
(hopefully simpler) set of initial conditions and apply the laws
from there. Ultimate explanations are not really the business of
science.
For cultural/historical reason only. At the start of science in
occident, theology, in the greeks sense of "theory of everything" or
"ultimate theory/realm" it was the main business of science, and
mathematics and physics came from that.
This is coming back by the discovery that machine or number have a
rich and sophisticate (and mathematical) theology, and that it is
testable, as physics is a sub-branch of that theology. More
concretely, it is the discovery that arithmetic (or any Turing
complete theory) defines intrinsically or canonically a many-worlds,
or many relative states/computations , or many "dreams" theory.
Computationalism assumes some physical reality containing computers,
but it makes the physical into an emerging reality, from the
statistical interference between the computations contained in
arithmetic (or again any Turing complete theory: physics is (amazingly
enough) theory independent).
Have you study a bit of my work? It would be interesting to have your
opinion on the UDA (the universal dovetailer argument, which proves
that if we are machine, as Everett is more or less obliged to assume,
then physics is a branch of machine's psychology (or biology, or
theology: I can explain why theology is the less wrong expression
here). The wave is explained in arithmetic like the collapse is
explained by the quantum wave: that is as a phenomenology. The math
used for the concrete extraction of physics requires knowledge in
mathematical logic (which is virtually unknown by non-logicians, as I
have discovered).
We get many equivalent simple theory of everything. The simplest as
only the symbol "=", "(", ")", "K" and "S", and the axioms
Kxy = x
Sxyz = xy(yz)
+ some equality axioms:
xy = xz => y = z
xy =zy => x = y
x = y & x = z => y = z.
Another one is just elementary arithmetic, which is predicate logic +
0 ≠ s(x)
s(x) = s(y) -> x = y
x = 0 v Ey(x = s(y))
x+0 = x
x+s(y) = s(x+y)
x*0=0
x*s(y)=(x*y)+x
Nothing more is assumed, and physics is extracted from the first
person indeterminacy, itself defined in those theories, or slight
extension to make things simpler. It provides also an arithmetical
interpretation of neoplatonist theology, notably Plotinus. The main
advantage is that we get a coherent picture of matter without
eliminating consciousness and persons, which became fundamental. It is
not the human person, but the one you can attach canonically to any
the universal machines or numbers. I use a lot the embedding of
computer science in arithmetic (as begun by Gödel, Church, Kleene,
etc.).
Note that there is no "initial conditions". The only initial condition
are the axioms above.
Bruno
Bruce
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
