On 27 May 2015, at 19:36, John Clark wrote:
On Wed, May 27, 2015 Bruno Marchal <[email protected]> wrote:
> Citing Wolfram is a per-authority argument. That is not valid.
But citing Bruno Marchal as an authority is valid?? If you say one
thing and Wolfram says another I'll put my money on Wolfram.
Wolfram is not an expert in logic.
If you search on the net information to contradict anyone, you will
always find it.
Church thesis has nothing to do with physics. Deutsch introduced a
sort of "physical Church tyhesis", and I have explained that it is
probably violating Church's thesis and/or comp, given that comp
entails that whatever I am not (like the physical universe) is not
Turing emulable.
Who wouldn't?
You persist in distracting hand-waving.
You don't answer the question I asked you: what do you mean by "real-
world computable"?
- A function computable by a physical device?
- A function intuitively computable, or mechanically computable, that
is having some finitely describable algorithm in some non ambiguous
language?
You evade the point we were discussing, which is that the arithmetical
reality emulates computations, in the computer science sense of
emulation (which is used, BTW, by those asserting that the physical
reality emulates computations).
Bruno
John K Clark
--
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.
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.
