On 21 Sep 2013, at 19:36, John Clark wrote:
On Sat, Sep 21, 2013 Bruno Marchal <[email protected]> wrote:
> And the, what is the meaning of "computation is physical"?
Which word didn't you understand?
The word "is", in the sentence "computation is physical".
> It looks to me that this consists in single out some universal
system and declare that only running it makes things real.[...] What
does mean "physical"?. I don't take that notion for granted.
I'll explain what "physical" means just as soon as you explain what
"real" means, and what "means" means.
I don't use it.
I am the one asking what it could mean, especially in this context.
>> So your great discovery is that you don't know what the end of a
computation will be until you come to the end of the computation.
> Some have said exactly this to Feynman for his sum over histories
formulation of QM. It is the same problem, with similar conclusions,
and both are testable and comparable.
Feynman's theory said the magnetic moment for the electron should
not be exactly 1 as had been thought but 1.00115965246, what number
does your theory say it should be?
A quite difficult open problem. No doubt about this. But the goal I
pursue is not doing physics, but formulating and progressing on the
mind-body issue.
> You have study only 2/8 of part UDA,
True, I have only read the first 2 steps (or maybe it was 3, I
forget) of your Ulster Defense Association proof, but proofs are
built on the foundation of what comes before, so when one comes upon
a ridiculous blunder in step 2 (or maybe 3) it would be equally
ridiculous to keep reading.
This avoid telling us what you don't understand.
And in none of your writings do you factor in the IHA principle.
> and 0/8 of AUDA, so you might try to be cautious in your judgment.
I don't see how friend of Lawrence of Arabia, Auda ibu Tayi, is
relevant to our conversation.
UDA = Universal Dovetailer Argument (called paradox in the original
work)
AUDA = Arithmetical Universal Dovetailer Argument, which I write in
case they put a literary philosopher in the jury, who are known for
rejecting form of reasoning without explaining why they think that
there are invalid. It is the part called "Interview of the Universal
machine in the SANE2004 paper.
I think I have already told you this more than one time.
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/groups/opt_out.
