On 27 Apr 2015, at 21:11, meekerdb wrote:
On 4/27/2015 7:14 AM, Bruno Marchal wrote:
But I think that's just another form of giving up or invoking
magic,
Why? On the contrary, it eliminates magic here. I don't see why you
say so.
Because it assumes that having found one theory that says "This
stuff isn't expalinable" one need look no further.
?
But:
1) I work in a theory (which is very common among scientists)
2) I say that it explain the appearance of matter, so by Occam: no
need to re-introduce the usual magic (primitive matter), especially
that there is just no possibility to use it, without adding non Turing
emlulable magic to it.
Why not look for another theory that makes "This stuff" explainable
too? You base your theory on digital computation, i.e Church-
Turing. But why not on real numbers?
Because there is no standard notion of computations for them. Nor
evidence that such thing exists.
But again, I assume comp, and if you have another theory of mind, you
are free to explain it to us.
Or category theory? Or ZFC?
Those are not non-computationalist theories. They can be used, notably
for the inside view. If you can use any theory to explain your non-
comp theory, go for it.
Do we know that they can't give a better or more complete
explanation of the world?
Yes, sure, they give a larger view on machine and arithmetic indeed.
This is used informally in AUDA. Like Hilbert spaces can be used to
provide a model for the Z logic. No need to reify their ontology, as
they have already an important role in machine's epistemology. You can
use them for a non-comp theory, but non-comp usually fails, and comp
is premature to abandon, as it has not yet lead to contradiction. On
the contrary it makes the quantum weirdness into a consequence of it.
I don't defend comp. I just shows the consequences, and how such
consequences fits all known facts up to now.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.