Florin Moldoveanu has argued that this was not correct because of an illegal use of a minus (2). This argument has later been used by other opponents:
The issue can now easily be verified by using a GA based programming tool GAViewer (3). This tool interprets e1, e2, e3 etc. as the unit vectors that forms the orthogonal base of space. Furthermore it can naturally calculate with geometric objects like bivectors and trivectors, which are used in Joy Christians framework.
|The e1, e2 and e3 base, and a bivector in gaviewer.|
The code I use is quite easy and listed below. It can be checked by saving it in a text file with the extension '.g', open it with the GAViewer and type 'test()' in the console window. The calculated term is
After a few seconds the result will be something like
res = -0.00*e2^e3 + -0.01*e3^e1 + -0.00*e1^e2
, a bivector that has a weight of almost 0, and thereby verifies Joy's assumtion.
Code of the .g test file:
function crosspr(a, b)
function getRandomUnitVector() //uniform random unit vector:
set_window_title("Test Joy Christian");
N=10000; //number of iterations
t=crosspr(aa,bb); //"crosspr(aa,bb)" is cross product
for(nn=0;nn<N;nn=nn+1) //perform the experiment N times
lambda=getRandomLambda(); //lambda is a fair coin,
//resulting in +1 or -1
mu=lambda * I; //calculate the lambda dependent mu
q=mu.t; //"." is inner product
s=s+q; //summation of second term.
res=s/N; //calculate average
print(res); //print the result
- Disproof of Bell’s Theorem by Clifford Algebra Valued Local Variables, Joy Christian, 2010, http://arxiv.org/pdf/quant-ph/0703179v3.pdf
- Disproof of Joy Christian’s “Disproof of Bell’s theorem”, Florin Moldoveanu , 2011 , http://arxiv.org/abs/1109.0535v1
- GAViewer: http://geometricalgebra.org/gaviewer_download.html