On 02 Oct 2017, at 15:07, David Nyman wrote:
On 2 Oct 2017 1:58 p.m., "Bruno Marchal" <marc...@ulb.ac.be> wrote:
Dear Evgenii,
On 28 Sep 2017, at 21:30, Evgenii Rudnyi wrote:
Long time ago you have discussed Maudlin's paper. At that time I
somehow did not get interested. Yet, other day I have got strong
feeling that I must read Maudlin's paper right now. I guess this
could be explained by peculiarities of the universal dovetailer.
Anyway, I have read Maudlin's paper, then I have read Hoffmanm's
Sandman, and once more Maudlin's paper. I have enjoyed reading, the
paper is nicely written. I guess I have understood the argument.
Thank you.
You are welcome. Don't hesitate to ask any further questions. There
are slight differing nuances between the Movie Graph Argument (MGA)
and Maudlin's argument. Also, I have found a way to cut the UDA at
step 7
More details please.
Maudlin focuses on the counterfactual issue, which the MGA somehow
avoids. Both argument shows the inadequacy of materialism and
mechanism, but the MGA assumes that we have already a good idea of
what a (mathematical) computation is, and that it is a special logical
relation, not something in need of any physical assumption. Then
Maudlin's analysis can be used to answer the "counterfactual
objection", instead of reminding implicitly the logical nature of what
is a computation. In the context of the UDA, the rôle of the MGA is
only to show that the move in step 7 consisting in assuming a small
primary universe, is isomorphic to creationist last rebuttal when
saying eventually that they agree with the evidences for evolution,
but that God was needed to make that evolution possible. That was
already clear with Peter Jones old objection to UDA that only a
computation supported by primary matter can be conscious. That is a
sort of magic way of thinking, by rebutting a theory (experimentally
testable) by invoking a god or a magic substance which a priori is not
testable ... to avoid the search of an a posteriori test, given here
by the theory.
, or I could add a simpler step 8.
And here.
So, it is enough just to NEVER assumes a *primary* physical universe
to start with, like I do. Then, we can avoid the MGA by explaining
directly (in step 7) that the arithmetical reality implements all
computations, which follows from what we can find in all textbook on
theoretical computer science, like Davis chapter 4 (Turing machine
self-applied). I am currently using that material to explain that very
points to my students, so I might make a try to explain a bit here, to
give the taste of it. The advantage of the Turing machine formalism,
is that it is close to "physical computer", and yet simple enough to
make the theory not too much hidden in technical details. I will think
how to do that.
Bruno
David
Kind regards,
Bruno
Best wishes,
Evgenii
--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-
l...@googlegroups.com.
Visit this group at https://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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
