On 13 May 2015, at 01:03, Russell Standish wrote:
On Tue, May 12, 2015 at 12:19:02PM +0200, Bruno Marchal wrote:
Exactly. Regardless of truth, it is an interesting model that could
well inform us about the truth. Provided it is tractable, of course,
which so far it has tended not to be (John Clark's criticism).
No, the UD does not need to be tractable, because the first person
are not aware of the delays.
John simply cannot understand this, because this needs step 3, 4, 5,
6, 7.
Sorry - you misunderstood me. In this case, I was referring to the
consequences of the AUDA, ie the programme of extracting physics
from COMP.
But that is tractable. The current algorithm that I provided makes it
untractable for complex propositions, but that is contingent (CP is NP-
complete too).
I would worry more if someone found a simple efficacious algorithm, as
this would raise a doubt that such logic incarnate quantum computing.
Bruno
--
----------------------------------------------------------------------------
Prof Russell Standish Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics [email protected]
University of New South Wales http://www.hpcoders.com.au
----------------------------------------------------------------------------
--
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.
