On 27 Oct 2013, at 00:05, meekerdb wrote:

On 10/26/2013 1:54 AM, Bruno Marchal wrote:On 25 Oct 2013, at 23:33, smi...@zonnet.nl wrote: ...It is:3) Bruno has yet to develop the mathematical tools to do practicalcomputations.Not at all. That would be the case if the goal was doing physics,but the goal was only to formulate the mind body problem.Then, despite this, the math part (AUDA, the machine's interview)does provide the mathematical tools to do practical computations.The arithmetical quantization is fully given and has been comparedwith quantum logic.That we are at light years from getting anything like the standardmodel is not really relevant, as the standard model does notaddress the mind-body problem.A physicist can complain that comp is a long way to be able to useas physics, but I insist: the goal is to show that the mind-bodyproblem is not solved, and that with comp, we have to derivephysics from arithmetic, and I got already the propositional partof physics.What do you mean by that last? Whether you think it is necessary ornot, it would certainly lend credence to your theory if it made morecontact with physics.

`Comp has enough credence. It is believed by almost all scientists`

`since almost always.`

`The reasoning I propose has never met any problem, except in the lack`

`of interest for reason which eludes me, but related to the fact that`

`some scientist does not want to even heard words like consciousness,`

`mind-body, or even QM and quantum mechanics. And they don't play the`

`academic game. My work has been peer reviewed many times, has been`

`defended as a PhD thesis, etc.`

`Non credence comes from people not trying to read it, like Bill and`

`John Clark illustrates on this list (and/or FOAR).`

Here's a blog post that might suggest a point of contact: http://blog.sigfpe.com/2013/10/distributed-computing-with-alien.html

`Don't hesitate to elaborate, but this assumes QM, and does not bear on`

`the mind-body or 1p/3p relation.`

Bruno

BrentThe subject is the mind-body problem, not physics per se.Technically, the problem is that physicists don't know mathematicallogic (as Penrose illustrated to the logicians). Very fewphysicists understand the X1* and Z1* logic, which gives the neededarithmetical quantizations.That's another problem: only logicians knows logic. They have noproblem with AUDA. But many just dislike the mind-body problem andapplications of logic. My work reminds that logic per se does notsolve philosophical problem, which annoy them as they are stillunder the spell of Vienna positivism, where logic is used toreplace metaphysics, and comp shows that this is not enough.I think. BrunoSuppose that you could derive the Standard Model from deeperprinciples, then it doesn't matter what the philosophicalobjections against these principles are.No one cares that Einstein's arguments leading to SpecialRelativity were not rigorous. Obviously, you can't derive specialrelativity rigorously from electrodynamics, because relativity ismore fundamental than electrodynamics. At best you can presentheuristic arguments. Some philosophers do make a problem out ofthat, but in physics no one really cares. Most modern textbooks dothis correctly by discussing Lorentz invariance and only thenderiving the Maxwell equations as the correct generalization ofCoulomb's law.Saibal --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com.Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.http://iridia.ulb.ac.be/~marchal/--You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.