On 20 May 2015, at 18:36, John Clark wrote:
On Tue, May 19, 2015 Bruno Marchal <[email protected]> wrote:
>>> The question is not about doing a computation, but about the
existence of computation in the block-mind offred by the (sigma_1)
arithmetical reality, which provably emulates all computation,
>> It can't emulate a damn thing unless the "block-mind offred by
the (sigma_1)" exists and if it does then produce it and have it
calculate 1+1. Do that and you will have won the argument.
> You keep asking me to change water in wine.
I keep asking for experimental evidence to backup the moonshine
you're peddling, it's a little thing called the Scientific Method.
It is a case where we don't need any evidence at all, as I am
referring to a theorem in Peano arithmetic, admitting (and knowing)
the standard definitions. It is proved in most textbooks, and I have
already explained the basic simple, but tedious to explain, ideas on
this list. And I will do it again, most plausibly, or perhaps
somewhere we might be less distracted by trolls.
You are attacking only your own crazy idea. You will not find a post
where I have asserted anything even just similar to it.
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.
