R: origin of notion of computable universes

From: scerir <scerir.domain.name.hidden>
Date: Mon, 15 Apr 2002 23:30:30 +0200

Karl Svozil, "Randomness & Undecidability in
Physics", World Scientific, 1993, [chapters 10.2 - 10.5]
also speaks about the simulaton argument.

It is not unreasonable - he says - to speculate about the
logico-algebraic structure of "automaton" universes (universes
"computer" generated).

If there is a hidden computing entity, and if this computing
entity is "universal", there is no reason to exclude the so
called (intrinsic) "calculus of propositions".

Physical properties corresponding to _experimental_ propositions
are identified - in the quantum domain - with "projection"
operators on the Hilbert space. Thus Hilbert "lattice" corresponds
to a lattice of experimental propositions. Algebraic relations and
operations between these experimental propositions are called
"calculus of propositions". Hilbert lattice and calculus of propositions
_should_ be equivalent, even in the quantum domain. (Lattice theory
is a framework for organizing structures such as experimental
or logical statements). There is no _recursive_ enumeration
of the axioms of Hilbert lattices.

It is not unreasonable asking something like: do we live in a
(quantum) universe created by some "universal" computation ?

Thus, to test such speculation, we must look for _phenomena_
which correspond to "automaton" calculus of propositions _not_
contained in a Hilbert lattice (or its subalgebras).
Received on Mon Apr 15 2002 - 14:30:51 PDT