Bruno Marchal wrote:
On 26 Mar 2015, at 12:13, Bruce Kellett wrote:
Quentin Anciaux wrote:
2015-03-26 8:05 GMT+01:00 Bruce Kellett <[email protected]
<mailto:[email protected]>>:
This comes back to my original question: since all possible programs
are run by the dovetailer, how do we ensure that conscious beings
see an ordered and predictable world. Only a set of measure zero
among all possible programs would give that result.
Yes, it seems to me, we should see white noise, but maybe a selection
attribute must be in play... like an anthropic argument.
Anthropic arguments are not going to work with computationalism
because there is no basis on which you can assume underlying
deterministic physical laws.
You need Turing topic argument, and the logic of those are given by the
logic of self-reference.
Then it can be shown that the basis used is not important, and I (try)
to illustrate the working of all this with elementary arithmetic and
with combinators, but topological unitary computations, or fortran, or
lisp, would do.
I think translation from colloquial English has let us down here. There
are two sense of the word 'basis" in English. From the OED (Oxford
English Dictionary): "A thing on which anything is constructed and by
which its constitution or operation is determined; a determining
principle". By extension, in physics/mathematics "the set of vectors
spanning a vector space in terms of which any vector in the space can be
expressed". I was using the word in the first sense.
Bruce
Physics and theology are machine independent notion. All base leads to
the same theory. This comes from the fact that the intensional Church
thesis follows from the usul extensional one. Not only all universal
number u can compute all computable functions, but they can imitate the
precise ways other u computes, so all universal dovetailing entails the
same competition between all u (below our substitution level).
--
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.
