On 07 May 2014, at 12:42, LizR wrote:
On 7 May 2014 21:42, Bruno Marchal <[email protected]> wrote:
We all have to stick on traditional empirical test. Comp is no
exception, I hope you understood this.
Yes, sorry, I wasn't being very clear there. Of course all theories
have to be tested empirically. I meant that I have to discuss the
theory in terms of materialist types of experiments - as for example
one might discuss whether the Higgs boson has been found, given
certain experimental results (rather than whether physics can be
derived from consciousness). Also I felt a bit embarassed because I
did make a decision not to mention comp, because I don't yet feel
qualified to discuss any other theories in terms of comp. And I felt
that I was letting you down by being in that position. (The stuff
about the day of the month etc is just a joke of course, which I how
I cover up feeling embarassed or uncertain.)
If the tronnies don't replicate Aspect experiment, like QM and comp,
then the tronnies theory is refuted (at least in the local usual
sense).
So comp replicates the Aspect experiment?
To be honest, the precise Aspect formula, or even the simpler by Bell,
are too big for the capacity of the theorem prover, but it would
astonishing comp differs on this. And the point is that this is a
matter to verify in a decidable logic.
That's very interesting. I started watching your video tonight, and
of course I have read your recent physics post but I got lost. I
will come back with questions...
With pleasure! . Sometimes I want simplify my talk, but in a context
where some people still doubt the basic logic, it is perilous to
simplify too much. You might help me to find the right level of
explanation, but we will have to study the notion of proof, in modal
logic and in arithmetic. And dig on the relation between computability
and sigma_1 provability.
Feel free to ask question, in any direction, at any level.
You have also to keep in mind all the time the step seven of UDA. That
gives a rather simple intuitive picture, which is then studied in
arithmetic, making the argument constructive.
Bruno
PS In case I don't answer mails, it does not mean that I am moving
again, but that my computer is old and behave weirdly, especially in
connection matter, and I might need to buy a new one. The one in my
office is still older and already dead.
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.
