On 05 Feb 2014, at 23:36, meekerdb wrote:
On 2/5/2014 2:10 AM, Bruno Marchal wrote:
On 04 Feb 2014, at 18:32, meekerdb wrote:
...
I have criticized it for it's seeming lack of predictive power - a
problem with all theories of everythingism so far, and also string
theory.
That is a technical issue only. As comp has to predict or re-
predict all of physics, it is hardly not predictive. In particular,
comp + Theaetetus already provide the logic of the observable, and
up to now, it fits with the facts.
Well it's no good saying it *must be* predictive - if it's true.
That is the non trivial consequence comp. It is the sense of "deriving
physics from arithmetic".
All rules of prediction about the observable reality *have to* be
theorems in arithmetic, concerning bets by universal machines.
One can say that about many theories - including string theory.
OK. But string theory like QM have been build for doing that. Comp is
just the idea that the brain is a machine, and the consequence is that
the laws of physics are given by the relative measure on universal
machine/numbers states.
With comp, physics = the laws of the universal machine observable,
with observable defined by an indexical (like []p &p, or the others, p
sigma_1 proposition).
Bruno
Brent
--
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/groups/opt_out.
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/groups/opt_out.
