On 08 Mar 2014, at 20:50, meekerdb wrote:
On 3/8/2014 12:11 AM, Bruno Marchal wrote:
The existence of the UD is a consequence of elementary axioms in
arithmetic (like x+0=x, etc.).
I can't hardly imagine something less random than that.
But we don't know that it exists.
?
I just said: the UD existence is a theorem of PA, even of RA. It
exists like the number 19 exists. Its entire execution exist too, a
bit like "all prime numbers" exist.
ISTM that rejecting the possibility of randomness in the world is
just dogma.
As much as rejecting the possibility that moon is really made of
cheese. No doubt. That are dogma, but also fertile hypothesis, as the
cheese-moon theory explains nothing new.
Of course we can study and try to understand and minimize randomness
is our theories - but I see no reason to simply rule it out because
we don't like it;
We rule it out because not only it explains nothing new, but it
introduces insuperable difficulties, and also, it opens to explanation-
by-the-gap. It looks like a reification of ignorance.
especially by hyposthesizing an unobservable and untestable
everythingism.
Well you get them just by postulating the SWE, or, when assuming comp,
just postulating, for all x y:
0 ≠ (x + 1)
((x + 1) = (y + 1)) -> x = y
x + 0 = x
x + (y + 1) = (x + y) + 1
x * 0 = 0
x * (y + 1) = (x * y) + x
I like your theory, but not because it avoids randomness (as
Everett does too), but because it seems to address the mind-body
problem.
OK. Nice, and thanks for telling. personally I also like comp and
everett for removing 3p-randomness, and 3p-non locality.
Are you sure that you can make sense of 3p-randomness? I can do that
from a purely logical perspective, but I still find hard to believe it
can make sense in a physical reality, as it introduces events without
a cause, and that looks like "don't ask sort of magic" to me, doubly
so, when we see that computationalism implies that kind of magic in
the 1p-views (by self-duplication or self-superposition).
Bruno
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.
