Eye_in_the_Sky
- 331
- 4
... I who harbours a misconception
Previously, I began a discussion with akhmeteli saying:
At the conclusion of our discussion, I said:
Now I see it has been I who harbours a misconception. The first proposition in the above is INCORRECT. The correct statement is:
local determinism Λ PC → D ;
this is the weak version of deriving a Bell inequality.
The strong version reads like this:
locality Λ CF Λ PC → D .
The first is only a corollary of the second, because
local determinism → locality Λ CF ,
but not conversely.
____________________
In case anyone is wondering:
PC ≡ perfect (anti-) correlation ,
CF ≡ counterfactuality ,
D ≡ a Bell inequality .
------------------------------------------------------
------------------------------------------------------
Oh Mom … there it is again!

Previously, I began a discussion with akhmeteli saying:
Eye_in_the_Sky said:Hello, akhmeteli. It appears to me there may be some misconception in the way you are thinking about Bell's theorem.
At the conclusion of our discussion, I said:
Eye_in_the_Sky said:Thank you, akhmeteli, for answering my questions. Originally, it appeared to me that there may have been some misconception in the way you were thinking about Bell's Theorem. But from the answers you have given, I do not detect any such misconception.
Indeed ...
local determinism → D
and
QM → ~D ,
where D is a certain condition.
Now I see it has been I who harbours a misconception. The first proposition in the above is INCORRECT. The correct statement is:
local determinism Λ PC → D ;
this is the weak version of deriving a Bell inequality.
The strong version reads like this:
locality Λ CF Λ PC → D .
The first is only a corollary of the second, because
local determinism → locality Λ CF ,
but not conversely.
____________________
In case anyone is wondering:
PC ≡ perfect (anti-) correlation ,
CF ≡ counterfactuality ,
D ≡ a Bell inequality .
------------------------------------------------------
------------------------------------------------------
Oh Mom … there it is again!
... whoops!Eye_in_the_Sky said:... So, there are two 'theorems', a weak one and a strong one:
Weak Theorem: local determinism → D ;
Strong Theorem: locality Λ PC Λ CF → D .
