On 2/5/2015 11:27 AM, Bruno Marchal wrote:
On 05 Feb 2015, at 01:16, meekerdb wrote:
On 2/4/2015 10:13 AM, Bruno Marchal wrote:
With computationalism, physics is not causally closed,
Even with computationalism it seems physics is causally closed except for the apparent
randomness of QM. But if you believe in MWI that is closed too. The UD is not
casually closed because it is always starting new threads of computation - with no cause.
No cause? It start new threads because it generate them all,
What "it"? How does "it" cause new threads to start? I don't see that causation even
means anything in arithmetic, it only imagining proofs as sequences of inference that we
get something like causation.
and dovetail on them. The universal dovetailing is equiavlent with the proofs, and
attempt of proofs, of the sigma_1 sentences.
a bit like arithmetic is not arithmetically closed either, the universal machine put a
mess in Platonia which is beyond the possible control by the universal machines.
But all computation is closed. What does it matter that there are uncomputable parts
of arithmetic? They don't affect the computations.
You forget the FPI on the arithmetical reality.
All the instances that produce FPI are also computable.
You are speculating on a god "Matter" who by its magical power, singularize you with
that matter, and makes your infinitely many brothers living in arithmetic into zombies.
And you are assuming that (some) axioms and their consequences simply exist by the magic
of being self-consistent.
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/d/optout.
