<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: Bell&#8217;s-inequality-denialist Joy Christian offers me $200K if scalable quantum computers are built</title>
	<atom:link href="http://www.scottaaronson.com/blog/?feed=rss2&#038;p=993" rel="self" type="application/rss+xml" />
	<link>http://www.scottaaronson.com/blog/?p=993</link>
	<description>The Blog of Scott Aaronson</description>
	<lastBuildDate>Sat, 25 May 2013 07:32:50 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.5.1</generator>
	<item>
		<title>By: Tsirelson&#8217;s bound &#124; MyCQstate</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-53725</link>
		<dc:creator>Tsirelson&#8217;s bound &#124; MyCQstate</dc:creator>
		<pubDate>Wed, 10 Oct 2012 18:56:19 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-53725</guid>
		<description><![CDATA[[...] of the EPR paradox and Bell&#8217;s work were still being debated (well, they still are even today&#8230;). As we saw in the previous post, 20 years earlier Bell had demonstrated that the set of [...]]]></description>
		<content:encoded><![CDATA[<p>[...] of the EPR paradox and Bell&#8217;s work were still being debated (well, they still are even today&#8230;). As we saw in the previous post, 20 years earlier Bell had demonstrated that the set of [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elevated Doofus Activity &#171; Pink Iguana</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45343</link>
		<dc:creator>Elevated Doofus Activity &#171; Pink Iguana</dc:creator>
		<pubDate>Wed, 16 May 2012 10:29:08 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45343</guid>
		<description><![CDATA[[...] I was Wrong about Joy Christian, here. Sometimes the snark has go to eleven. In response to my post criticizing his “disproof” of Bell’s Theorem, Joy Christian taunted me that “all I knew [...]]]></description>
		<content:encoded><![CDATA[<p>[...] I was Wrong about Joy Christian, here. Sometimes the snark has go to eleven. In response to my post criticizing his “disproof” of Bell’s Theorem, Joy Christian taunted me that “all I knew [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: James Putnam</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45325</link>
		<dc:creator>James Putnam</dc:creator>
		<pubDate>Tue, 15 May 2012 21:22:44 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45325</guid>
		<description><![CDATA[My last message was not properly punctuated:

&quot;...that explains quantum theory.&quot; 

What about that “…tricky continuous measurement function…” Anyone is invited to help with this. 

James]]></description>
		<content:encoded><![CDATA[<p>My last message was not properly punctuated:</p>
<p>&#8220;&#8230;that explains quantum theory.&#8221; </p>
<p>What about that “…tricky continuous measurement function…” Anyone is invited to help with this. </p>
<p>James</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Thomas H Ray</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45324</link>
		<dc:creator>Thomas H Ray</dc:creator>
		<pubDate>Tue, 15 May 2012 20:59:05 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45324</guid>
		<description><![CDATA[Richard, glad to see you admit that you&#039;ve run completely out of argument.  Thanks.]]></description>
		<content:encoded><![CDATA[<p>Richard, glad to see you admit that you&#8217;ve run completely out of argument.  Thanks.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Joy Christian</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45323</link>
		<dc:creator>Joy Christian</dc:creator>
		<pubDate>Tue, 15 May 2012 20:58:12 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45323</guid>
		<description><![CDATA[Sandro,

I agree up to your point 2). 

Your point 3) is not quite right. Let me rephrase it in my words:

3) We have functions w(a)w(a, L) and w(b)w(b, L) for which we can write A(a, L) = w(a)w(a, L) and B(b, L) = w(b)w(b, L). These functions are [ my ] cases definitions. What is important is that these equalities hold for the whole domain of the variables L, a, and b. Clearly to state this equality, the codomains of A and w(a)w(a, L), as well as those of B and w(b)w(b, L), have to be the same.

They are the same. It is the parallelized 3-sphere, S^3.]]></description>
		<content:encoded><![CDATA[<p>Sandro,</p>
<p>I agree up to your point 2). </p>
<p>Your point 3) is not quite right. Let me rephrase it in my words:</p>
<p>3) We have functions w(a)w(a, L) and w(b)w(b, L) for which we can write A(a, L) = w(a)w(a, L) and B(b, L) = w(b)w(b, L). These functions are [ my ] cases definitions. What is important is that these equalities hold for the whole domain of the variables L, a, and b. Clearly to state this equality, the codomains of A and w(a)w(a, L), as well as those of B and w(b)w(b, L), have to be the same.</p>
<p>They are the same. It is the parallelized 3-sphere, S^3.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: James Putnam</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45321</link>
		<dc:creator>James Putnam</dc:creator>
		<pubDate>Tue, 15 May 2012 20:54:46 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45321</guid>
		<description><![CDATA[Joy and David Brown,

David Brown Says: 
Comment #613 May 15th, 2012 at 1:23 pm 

&quot;From the viewpoint of Christian’s theory of local realism, the universe’s topology of allowable measurements forbids Alice from making a measurement that would provide a counterexample to Bell’s theorem. Alice does not need to whirl herself around the universe because the problem does not arise — there is a tricky continuous measurement function that explains quantum theory. Is David Brown wrong here?&quot;

I found David&#039;s remark compelling and waited for an authoritative response.  

Joy: &quot;David Brown is more right than most wrongs on this blog.&quot; 

I need more to be said. &quot;... Alice does not need to whirl herself around the universe because the problem does not arise — there is a tricky continuous measurement function that explains quantum theory. What about that &quot;...tricky continuous measurement function...&quot;  Anyone is invited to help with this.

James]]></description>
		<content:encoded><![CDATA[<p>Joy and David Brown,</p>
<p>David Brown Says:<br />
Comment #613 May 15th, 2012 at 1:23 pm </p>
<p>&#8220;From the viewpoint of Christian’s theory of local realism, the universe’s topology of allowable measurements forbids Alice from making a measurement that would provide a counterexample to Bell’s theorem. Alice does not need to whirl herself around the universe because the problem does not arise — there is a tricky continuous measurement function that explains quantum theory. Is David Brown wrong here?&#8221;</p>
<p>I found David&#8217;s remark compelling and waited for an authoritative response.  </p>
<p>Joy: &#8220;David Brown is more right than most wrongs on this blog.&#8221; </p>
<p>I need more to be said. &#8220;&#8230; Alice does not need to whirl herself around the universe because the problem does not arise — there is a tricky continuous measurement function that explains quantum theory. What about that &#8220;&#8230;tricky continuous measurement function&#8230;&#8221;  Anyone is invited to help with this.</p>
<p>James</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Joy Christian</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45319</link>
		<dc:creator>Joy Christian</dc:creator>
		<pubDate>Tue, 15 May 2012 20:37:36 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45319</guid>
		<description><![CDATA[David Brown asks: “Is David Brown wrong here?”

David Brown is more right than most wrongs on this blog.]]></description>
		<content:encoded><![CDATA[<p>David Brown asks: “Is David Brown wrong here?”</p>
<p>David Brown is more right than most wrongs on this blog.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Richard Gill</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45314</link>
		<dc:creator>Richard Gill</dc:creator>
		<pubDate>Tue, 15 May 2012 19:48:17 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45314</guid>
		<description><![CDATA[Alex V #609. Eq. (4) defines two different bases of the same algebra. Different multiplication tables, same algebra. Nothing to do with Alice vs. Bob.

Tom #612. You are talking about your own private fantasy, not about Joy&#039;s model. You talk about your imagination, your heartfelt desire and deep belief, that this would be what it&#039;s about. Unfortunately your poetic science-fancy is even further dissociated from the actual maths which Joy writes down, than his own sales patter is.]]></description>
		<content:encoded><![CDATA[<p>Alex V #609. Eq. (4) defines two different bases of the same algebra. Different multiplication tables, same algebra. Nothing to do with Alice vs. Bob.</p>
<p>Tom #612. You are talking about your own private fantasy, not about Joy&#8217;s model. You talk about your imagination, your heartfelt desire and deep belief, that this would be what it&#8217;s about. Unfortunately your poetic science-fancy is even further dissociated from the actual maths which Joy writes down, than his own sales patter is.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Sandro</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45305</link>
		<dc:creator>Sandro</dc:creator>
		<pubDate>Tue, 15 May 2012 18:37:53 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45305</guid>
		<description><![CDATA[Too bad, same typo as before (should avoid copy and paste). B(a,L)=g(L) should read B(b,L)=g(L).]]></description>
		<content:encoded><![CDATA[<p>Too bad, same typo as before (should avoid copy and paste). B(a,L)=g(L) should read B(b,L)=g(L).</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Sandro</title>
		<link>http://www.scottaaronson.com/blog/?p=993#comment-45304</link>
		<dc:creator>Sandro</dc:creator>
		<pubDate>Tue, 15 May 2012 18:35:30 +0000</pubDate>
		<guid isPermaLink="false">http://www.scottaaronson.com/blog/?p=993#comment-45304</guid>
		<description><![CDATA[Joy# 610: Dear Joy, as you very correctly remarked, I could not make an articulate sentence in the language of geometric algebra, and I won&#039;t even try to, don&#039;t worry. I wouldn&#039;t say that mine was a confession, as I never stated I am an expert on the topic, or tried to hide the fact that I&#039;m not. But let&#039;s not diverge. All I want is to understand what you mean on a rather basic notational level, and hence I&#039;ll let your comments guide the discussion.

So, so far it seems like we concluded that:

1) We have variables L, a, and b, each living in some fixed domain, as by you specified.

a) L, a, and b are mutually independent. That is, neither a or b depend in any way on L, neither L depends on a and b.

If you agree, as you seem to do, we can move on points 2 and 3, which were the following.

2) We have functions A(a,L) and B(b,L). As far as I&#039;m concerned, you can define their codomains as you whish. Their domain is clearly the cartesian products of the domains of the corresponding variables.

3) We have functions f(L) and g(L) for which we can write A(a,L)=f(L) and B(a,L)=g(L). These functions are your cases definitions. What is important is that these equalities hold for the whole domain of the variables L, a, and b. Clearly to state this equality, the codomains of A and f, as well as those of B and g, have to be the same.

Can you comment?]]></description>
		<content:encoded><![CDATA[<p>Joy# 610: Dear Joy, as you very correctly remarked, I could not make an articulate sentence in the language of geometric algebra, and I won&#8217;t even try to, don&#8217;t worry. I wouldn&#8217;t say that mine was a confession, as I never stated I am an expert on the topic, or tried to hide the fact that I&#8217;m not. But let&#8217;s not diverge. All I want is to understand what you mean on a rather basic notational level, and hence I&#8217;ll let your comments guide the discussion.</p>
<p>So, so far it seems like we concluded that:</p>
<p>1) We have variables L, a, and b, each living in some fixed domain, as by you specified.</p>
<p>a) L, a, and b are mutually independent. That is, neither a or b depend in any way on L, neither L depends on a and b.</p>
<p>If you agree, as you seem to do, we can move on points 2 and 3, which were the following.</p>
<p>2) We have functions A(a,L) and B(b,L). As far as I&#8217;m concerned, you can define their codomains as you whish. Their domain is clearly the cartesian products of the domains of the corresponding variables.</p>
<p>3) We have functions f(L) and g(L) for which we can write A(a,L)=f(L) and B(a,L)=g(L). These functions are your cases definitions. What is important is that these equalities hold for the whole domain of the variables L, a, and b. Clearly to state this equality, the codomains of A and f, as well as those of B and g, have to be the same.</p>
<p>Can you comment?</p>
]]></content:encoded>
	</item>
</channel>
</rss>
