<?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: Len Adleman: Quantum Mechanics and Mathematical Logic</title>
	<atom:link href="http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/feed/" rel="self" type="application/rss+xml" />
	<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/</link>
	<description></description>
	<pubDate>Sat, 20 Mar 2010 19:23:05 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.7.1</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>By: Steve Faulkner</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135458</link>
		<dc:creator>Steve Faulkner</dc:creator>
		<pubDate>Sun, 27 Sep 2009 12:21:45 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135458</guid>
		<description>Quantum Mechanics and Mathematical Logic is my passion too.  What is more, I have found mathematical undecidability within the quantum formalism itself.

This derives from a logical excluded middle under the Field Axioms and relates to scalars whose logical status are distinct. Some scalars exist as theorems of the Field Axioms, others merely satisfy them. Model Theory proves the undecidability. It then propagates fully throughout a theoremology indicative of causelogy in Nature that explains the “causal anomalies” of Quantum Physics. Some details are in my blog.</description>
		<content:encoded><![CDATA[<p>Quantum Mechanics and Mathematical Logic is my passion too.  What is more, I have found mathematical undecidability within the quantum formalism itself.</p>
<p>This derives from a logical excluded middle under the Field Axioms and relates to scalars whose logical status are distinct. Some scalars exist as theorems of the Field Axioms, others merely satisfy them. Model Theory proves the undecidability. It then propagates fully throughout a theoremology indicative of causelogy in Nature that explains the “causal anomalies” of Quantum Physics. Some details are in my blog.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elliot</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135449</link>
		<dc:creator>Elliot</dc:creator>
		<pubDate>Sat, 26 Sep 2009 20:50:42 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135449</guid>
		<description>Neil,

You are cleverly sidestepping the question. Let me rephrase it. Do you believe that the laws of quantum mechanics operated in the early universe prior to the existence of any intelligent information processing phenomenon that could be classified as an observer?

e.</description>
		<content:encoded><![CDATA[<p>Neil,</p>
<p>You are cleverly sidestepping the question. Let me rephrase it. Do you believe that the laws of quantum mechanics operated in the early universe prior to the existence of any intelligent information processing phenomenon that could be classified as an observer?</p>
<p>e.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Neil Bates</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135448</link>
		<dc:creator>Neil Bates</dc:creator>
		<pubDate>Sat, 26 Sep 2009 17:55:15 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135448</guid>
		<description>Elliot, no one, not even I ;-) knows whether we "need" observers or whether the universe and observers need each other to exist etc. (Wheeler played with a sort of interactively created universe.) The universe might well do just fine by itself, if it's really real and not a Matrix type simulation (look that up, and "modal realism" etc.) But the key issue is, imagining the wave function as real and subject to normal travel time of causality, does not work. We can argue about the implications, how to solve it, what it says about other questions etc. - but that feature of the world should be admitted. And schemes like "decoherence", and likely the information channel concept too, can't resolve it. Maybe we just can't understand - the universe has no (?) obligation to be comprehensible to human minds, does it?</description>
		<content:encoded><![CDATA[<p>Elliot, no one, not even I <img src='http://asymptotia.com/wp-includes/images/smilies/icon_wink.gif' alt=';-)' class='wp-smiley' /> knows whether we &#8220;need&#8221; observers or whether the universe and observers need each other to exist etc. (Wheeler played with a sort of interactively created universe.) The universe might well do just fine by itself, if it&#8217;s really real and not a Matrix type simulation (look that up, and &#8220;modal realism&#8221; etc.) But the key issue is, imagining the wave function as real and subject to normal travel time of causality, does not work. We can argue about the implications, how to solve it, what it says about other questions etc. - but that feature of the world should be admitted. And schemes like &#8220;decoherence&#8221;, and likely the information channel concept too, can&#8217;t resolve it. Maybe we just can&#8217;t understand - the universe has no (?) obligation to be comprehensible to human minds, does it?</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elliot</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135441</link>
		<dc:creator>Elliot</dc:creator>
		<pubDate>Fri, 25 Sep 2009 23:09:47 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135441</guid>
		<description>Neil,

Can you address the issue of which came first Quantum Mechanics or observers?

e.</description>
		<content:encoded><![CDATA[<p>Neil,</p>
<p>Can you address the issue of which came first Quantum Mechanics or observers?</p>
<p>e.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Neil Bates</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135439</link>
		<dc:creator>Neil Bates</dc:creator>
		<pubDate>Fri, 25 Sep 2009 20:59:37 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135439</guid>
		<description>Elliot, the photon could click in either A or B etc, and there is no "logical preference" for one or the other AFAWK. There is nothing that we can imagine in the system, given an evolving Schrodinger wave, that would pick one versus the other - and break the logical symmetry. That is the problem, and comfortable sounding platitudes or diverting phrasing (sorry) won't solve any real problems about it. If you don't need an "observer", then nature has to be really weird to hash it out. Maybe a relational universe can handle it, but local realism is gone and a lost cause. Everyone needs to "get over it" and move on (in legitimate ways), whatever "on" happens to be.</description>
		<content:encoded><![CDATA[<p>Elliot, the photon could click in either A or B etc, and there is no &#8220;logical preference&#8221; for one or the other AFAWK. There is nothing that we can imagine in the system, given an evolving Schrodinger wave, that would pick one versus the other - and break the logical symmetry. That is the problem, and comfortable sounding platitudes or diverting phrasing (sorry) won&#8217;t solve any real problems about it. If you don&#8217;t need an &#8220;observer&#8221;, then nature has to be really weird to hash it out. Maybe a relational universe can handle it, but local realism is gone and a lost cause. Everyone needs to &#8220;get over it&#8221; and move on (in legitimate ways), whatever &#8220;on&#8221; happens to be.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elliot</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135436</link>
		<dc:creator>Elliot</dc:creator>
		<pubDate>Fri, 25 Sep 2009 02:38:34 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135436</guid>
		<description>Thanks John,

Looks like I've got some reading/digesting to do.

e.</description>
		<content:encoded><![CDATA[<p>Thanks John,</p>
<p>Looks like I&#8217;ve got some reading/digesting to do.</p>
<p>e.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Plato</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135426</link>
		<dc:creator>Plato</dc:creator>
		<pubDate>Thu, 24 Sep 2009 17:15:02 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135426</guid>
		<description>&lt;i&gt; Do we selectively ignore other models from artificial intelligence such as Zadeh's Fuzzy Logic? This is a logic used to model perception and used in newly designed "smart" cameras. Where standard logic must give a true or false value to every proposition, fuzzy logic assigns a certainty value between zero and one to each of the propositions, so that we say a statement is .7 true and .3 false. Is this theory selectively ignored to support our theories? &lt;/i&gt;

Using Quantum interrogation it seemed relevant when held in context of &lt;a href="http://www.newton.cam.ac.uk/webseminars/hartle60/2-penrose/033.jpg" title="Quantum State reduction as a real phenomenon-Roger Penrose" rel="nofollow"&gt;Quanglement&lt;/a&gt;?

Best,</description>
		<content:encoded><![CDATA[<p><i> Do we selectively ignore other models from artificial intelligence such as Zadeh&#8217;s Fuzzy Logic? This is a logic used to model perception and used in newly designed &#8220;smart&#8221; cameras. Where standard logic must give a true or false value to every proposition, fuzzy logic assigns a certainty value between zero and one to each of the propositions, so that we say a statement is .7 true and .3 false. Is this theory selectively ignored to support our theories? </i></p>
<p>Using Quantum interrogation it seemed relevant when held in context of <a href="http://www.newton.cam.ac.uk/webseminars/hartle60/2-penrose/033.jpg" title="Quantum State reduction as a real phenomenon-Roger Penrose" rel="nofollow">Quanglement</a>?</p>
<p>Best,</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Len Adleman, la MQ &#38; Gödel &#171; Hady Ba&#8217;s weblog</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135424</link>
		<dc:creator>Len Adleman, la MQ &#38; Gödel &#171; Hady Ba&#8217;s weblog</dc:creator>
		<pubDate>Thu, 24 Sep 2009 15:15:31 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135424</guid>
		<description>[...] MQ &amp;&#160;Gödel  Posted in Philosophie, Science by hadyba on septembre 24, 2009   Len Adleman semble penser que les physiciens quantiques devraient s&#8217;inspirer des mathématiciens et considérer que [...]</description>
		<content:encoded><![CDATA[<p>[...] MQ &amp;&nbsp;Gödel  Posted in Philosophie, Science by hadyba on septembre 24, 2009   Len Adleman semble penser que les physiciens quantiques devraient s&#8217;inspirer des mathématiciens et considérer que [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elliot</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135423</link>
		<dc:creator>Elliot</dc:creator>
		<pubDate>Thu, 24 Sep 2009 13:51:43 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135423</guid>
		<description>Neil,

a photon hits where its information channel tells us it hits. That is the phenomonon. No observer necessary or required. the collapse of the wave through an observation is just reading the data stream at a point in time.

I admit it is unorthodox. But what about QM is not?

Call me crazy but I believe that QM predates observers. How can you reconcile that with the Copenhagen interpretation.

e.</description>
		<content:encoded><![CDATA[<p>Neil,</p>
<p>a photon hits where its information channel tells us it hits. That is the phenomonon. No observer necessary or required. the collapse of the wave through an observation is just reading the data stream at a point in time.</p>
<p>I admit it is unorthodox. But what about QM is not?</p>
<p>Call me crazy but I believe that QM predates observers. How can you reconcile that with the Copenhagen interpretation.</p>
<p>e.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Neil Bates</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135422</link>
		<dc:creator>Neil Bates</dc:creator>
		<pubDate>Thu, 24 Sep 2009 12:25:29 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135422</guid>
		<description>Elliot, we still have the problem of what happens to the various elements of superpositions, why the photon "hits" once place and not another place, etc. Also, the popular treatment decoherence is a dodge (see http://plato.stanford.edu/entries/qm-decoherence/ and my own link), and without "observers" we have evolving Schrodinger waves with "no place to go."</description>
		<content:encoded><![CDATA[<p>Elliot, we still have the problem of what happens to the various elements of superpositions, why the photon &#8220;hits&#8221; once place and not another place, etc. Also, the popular treatment decoherence is a dodge (see <a href="http://plato.stanford.edu/entries/qm-decoherence/" rel="nofollow">http://plato.stanford.edu/entries/qm-decoherence/</a> and my own link), and without &#8220;observers&#8221; we have evolving Schrodinger waves with &#8220;no place to go.&#8221;</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: John Sidles</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135419</link>
		<dc:creator>John Sidles</dc:creator>
		<pubDate>Thu, 24 Sep 2009 09:05:31 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135419</guid>
		<description>Elliot says: &lt;i&gt;"I have always been partial to an information-theoretic interpretation of quantum mechanics. To pose an analogy its as though the information contained in a measurement of any phenomenon must be communicated over an information channel."&lt;/i&gt;

Elliot, in quantum spin microscopy it is natural to elevate this principle from an analogy to a mathematical symmetry---"you observe the sample; the sample observes you"---the resulting quantitative design implications for von Neumann's dream of comprehensive biomicroscopy are highly encouraging:

"http://www.pnas.org/content/106/8/2477.extract" 

Elliot says: "Why I prefer this viewpoint is that it does not introduce the observer as having a special role which always troubled me about other interpretation of QM."

This principle too can be elevated from an analogy to a mathematical symmetry; with reference to Nielsen and Chuang, the necessary identity is Theorem 8.2, named by them "unitary freedom in the operator-sum representation".  

In pullback form this informatically symmetric point-of-view yields a description of measurement (and noise) as Ito-Lindblad stochastic processes on K&#228;hler state-spaces. 

"http://faculty.washington.edu/sidles/QSEPACK/Kavli/QSE_summary.pdf"

This is a very natural extension of the symplectic framework of classical dynamics that was pioneered by (e.g.) Kolomogorov and Arnol'd; these symplectic ideas nowadays provide the mathematical foundations of radically new conformational biology tools (e.g., Rosetta, Anton).

There are many good ways to appreciate quantum mechanics; in quantum systems engineering we find that the "pullback" point-of-view is pedagogically compact, yields efficient recipes for computation and---most important of all!----links naturally to broad classes of wonderful "yellow book" mathematics.</description>
		<content:encoded><![CDATA[<p>Elliot says: <i>&#8220;I have always been partial to an information-theoretic interpretation of quantum mechanics. To pose an analogy its as though the information contained in a measurement of any phenomenon must be communicated over an information channel.&#8221;</i></p>
<p>Elliot, in quantum spin microscopy it is natural to elevate this principle from an analogy to a mathematical symmetry&#8212;&#8221;you observe the sample; the sample observes you&#8221;&#8212;the resulting quantitative design implications for von Neumann&#8217;s dream of comprehensive biomicroscopy are highly encouraging:</p>
<p>&#8220;http://www.pnas.org/content/106/8/2477.extract&#8221; </p>
<p>Elliot says: &#8220;Why I prefer this viewpoint is that it does not introduce the observer as having a special role which always troubled me about other interpretation of QM.&#8221;</p>
<p>This principle too can be elevated from an analogy to a mathematical symmetry; with reference to Nielsen and Chuang, the necessary identity is Theorem 8.2, named by them &#8220;unitary freedom in the operator-sum representation&#8221;.  </p>
<p>In pullback form this informatically symmetric point-of-view yields a description of measurement (and noise) as Ito-Lindblad stochastic processes on K&auml;hler state-spaces. </p>
<p>&#8220;http://faculty.washington.edu/sidles/QSEPACK/Kavli/QSE_summary.pdf&#8221;</p>
<p>This is a very natural extension of the symplectic framework of classical dynamics that was pioneered by (e.g.) Kolomogorov and Arnol&#8217;d; these symplectic ideas nowadays provide the mathematical foundations of radically new conformational biology tools (e.g., Rosetta, Anton).</p>
<p>There are many good ways to appreciate quantum mechanics; in quantum systems engineering we find that the &#8220;pullback&#8221; point-of-view is pedagogically compact, yields efficient recipes for computation and&#8212;most important of all!&#8212;-links naturally to broad classes of wonderful &#8220;yellow book&#8221; mathematics.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elliot</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135417</link>
		<dc:creator>Elliot</dc:creator>
		<pubDate>Thu, 24 Sep 2009 03:55:49 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135417</guid>
		<description>I have always been partial to an information-theoretic interpretation of quantum mechanics. To pose an analogy its as though the information contained in a measurement of any phenomenon must be communicated over an information channel. That channel "bandwidth" is directly associated with the size of the phenomenon. We get the uncertainty for very small phenomenon due the the lack of sufficient bandwidth to transmit enough information in a particular period of time to accurately measure position, momentum etc. Hence the uncertainty.

Why I prefer this viewpoint is that it does not introduce the observer as having a special role which always troubled me about other interpretation of QM.

I may very well be wrong. But I've been wrong before and when it comes to interpretations of QM, I don't think anyone has effectively cornered this market.

e.</description>
		<content:encoded><![CDATA[<p>I have always been partial to an information-theoretic interpretation of quantum mechanics. To pose an analogy its as though the information contained in a measurement of any phenomenon must be communicated over an information channel. That channel &#8220;bandwidth&#8221; is directly associated with the size of the phenomenon. We get the uncertainty for very small phenomenon due the the lack of sufficient bandwidth to transmit enough information in a particular period of time to accurately measure position, momentum etc. Hence the uncertainty.</p>
<p>Why I prefer this viewpoint is that it does not introduce the observer as having a special role which always troubled me about other interpretation of QM.</p>
<p>I may very well be wrong. But I&#8217;ve been wrong before and when it comes to interpretations of QM, I don&#8217;t think anyone has effectively cornered this market.</p>
<p>e.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Neil Bates</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135414</link>
		<dc:creator>Neil Bates</dc:creator>
		<pubDate>Thu, 24 Sep 2009 02:09:16 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135414</guid>
		<description>This is an interesting idea, and the folks at &lt;i&gt;Quantum Pontiff&lt;/i&gt; are talking about it. Something to remember: math has to produce definite results itself (logical necessity!), and can't generate actual random outcomes. (Not to be confused with "probability math" which tells us the various proportions of outcomes.) For that reason and others I reject the MUH (mathematical universe hypothesis), it from bit, modal realism etc.</description>
		<content:encoded><![CDATA[<p>This is an interesting idea, and the folks at <i>Quantum Pontiff</i> are talking about it. Something to remember: math has to produce definite results itself (logical necessity!), and can&#8217;t generate actual random outcomes. (Not to be confused with &#8220;probability math&#8221; which tells us the various proportions of outcomes.) For that reason and others I reject the MUH (mathematical universe hypothesis), it from bit, modal realism etc.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Herb Enderton</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135413</link>
		<dc:creator>Herb Enderton</dc:creator>
		<pubDate>Wed, 23 Sep 2009 22:28:58 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135413</guid>
		<description>I think the best point of view for Goedel's incompleteness theorem is from computability theory:  The set of sentences of number theory that are true (in the standard model) is not decidable, or even semi-decidable.  (In fact a lot more can be said about the complexity of the set of true sentences:  it is omega "jumps" above decidability.)

The less I say about quantum mechanics, the better.</description>
		<content:encoded><![CDATA[<p>I think the best point of view for Goedel&#8217;s incompleteness theorem is from computability theory:  The set of sentences of number theory that are true (in the standard model) is not decidable, or even semi-decidable.  (In fact a lot more can be said about the complexity of the set of true sentences:  it is omega &#8220;jumps&#8221; above decidability.)</p>
<p>The less I say about quantum mechanics, the better.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Scott Aaronson</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135410</link>
		<dc:creator>Scott Aaronson</dc:creator>
		<pubDate>Wed, 23 Sep 2009 22:04:57 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135410</guid>
		<description>I've seen the idea of an analogy between quantum indeterminacy and
incompleteness before.  But it doesn't strike me as a very good analogy.  For one thing, quantum mechanics has a quantitative aspect that isn't captured by this analogy at all: a measurement returns a given outcome with a definite probability that you can calculate, given knowledge of the state.  For another, this analogy doesn't even touch the measurement problem -- e.g., the act of asking about an undecidable proposition doesn't affect whether that proposition is true or false.  So I'm left wondering whether new understanding is gained from this analogy, or whether it essentially amounts to "quantum mechanics is weird, incompleteness is also weird, therefore, maybe there's a relationship between them."</description>
		<content:encoded><![CDATA[<p>I&#8217;ve seen the idea of an analogy between quantum indeterminacy and<br />
incompleteness before.  But it doesn&#8217;t strike me as a very good analogy.  For one thing, quantum mechanics has a quantitative aspect that isn&#8217;t captured by this analogy at all: a measurement returns a given outcome with a definite probability that you can calculate, given knowledge of the state.  For another, this analogy doesn&#8217;t even touch the measurement problem &#8212; e.g., the act of asking about an undecidable proposition doesn&#8217;t affect whether that proposition is true or false.  So I&#8217;m left wondering whether new understanding is gained from this analogy, or whether it essentially amounts to &#8220;quantum mechanics is weird, incompleteness is also weird, therefore, maybe there&#8217;s a relationship between them.&#8221;</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: rrtucci</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135407</link>
		<dc:creator>rrtucci</dc:creator>
		<pubDate>Wed, 23 Sep 2009 20:34:11 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135407</guid>
		<description>I should clarify that applying computational complexity theory to QM is a fruitful endeavor that has already produced many new results. What I was questioning is your call for a "new interpretation" that is "distinct from those previously proposed, and that ... would have profound implications."</description>
		<content:encoded><![CDATA[<p>I should clarify that applying computational complexity theory to QM is a fruitful endeavor that has already produced many new results. What I was questioning is your call for a &#8220;new interpretation&#8221; that is &#8220;distinct from those previously proposed, and that &#8230; would have profound implications.&#8221;</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Peter Morgan</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135406</link>
		<dc:creator>Peter Morgan</dc:creator>
		<pubDate>Wed, 23 Sep 2009 19:01:30 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135406</guid>
		<description>"The Copenhagen interpretation would have the physicist view the electron as existing in a superposition of “up”/“down” until the moment of measurement when its wavefunction would collapse and the result of the measurement would be determined."

Ah, no. The Copenhagen interpretation wouldn't talk about there being a particle, certainly not about there being a particle having any properties, except at the point of measurement. Physicists who claim to adhere to the Copenhagen interpretation might say so (almost everyone until 20 years ago), but I would say that linear superposition is a mathematical operation on quantum states, not a property of particles or particle properties.

Talk of collapse is almost ubiquitous, but the Copenhagen interpretation could be taken to include instrumental interpretations that do not need to invoke collapse as well as von Neumann-type interpretations that feel the need to do so.</description>
		<content:encoded><![CDATA[<p>&#8220;The Copenhagen interpretation would have the physicist view the electron as existing in a superposition of “up”/“down” until the moment of measurement when its wavefunction would collapse and the result of the measurement would be determined.&#8221;</p>
<p>Ah, no. The Copenhagen interpretation wouldn&#8217;t talk about there being a particle, certainly not about there being a particle having any properties, except at the point of measurement. Physicists who claim to adhere to the Copenhagen interpretation might say so (almost everyone until 20 years ago), but I would say that linear superposition is a mathematical operation on quantum states, not a property of particles or particle properties.</p>
<p>Talk of collapse is almost ubiquitous, but the Copenhagen interpretation could be taken to include instrumental interpretations that do not need to invoke collapse as well as von Neumann-type interpretations that feel the need to do so.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: John Sidles</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135405</link>
		<dc:creator>John Sidles</dc:creator>
		<pubDate>Wed, 23 Sep 2009 17:57:39 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135405</guid>
		<description>Engineers appreciate that real-world measurement processes have a very large number of possible outcomes ... and this leads to a very different way of teaching engineering students about the origins of quantum randomness.

In our quantum spin imaging experiments the number of possible experimental data records is (say) 2^(10^16) ... this being the number of possible ways that photons can flow through the interferometer. This is such a large number of data records that (per the Kolomogorov-Chaitin definition of randomness), the set of non-random experimental data records necessarily has measure zero.

In short, any theoretical framework that allows for a large number of experimental outcomes---which is to say, any realistic theory---predicts randomness ... and quantum theories are not special in this regard.

As for the uncertainty principle, that is explained also using wholly classical language.  Measurement processes (and equivalently, noise processes) concentration quantum trajectories onto low dimension manifolds.   Viewed as a dynamical pullback onto a K&#228;hlerian state-space, this concentration preserves the Lie invariance of symplectic structure (which is why thermodynamics works for both classical and quantum systems), but not the Lie invariance of the metric structure.

The if we associate quantum operators with Berezin symbol functions, and associate each Berezin symbol with a Lie generator, then the Lie commutators on the reduced reduced-dimension state-space enforce all of the standard quantum limits and uncertainty principles.

This approach treats all processes---classical and quantum---as dynamical flows.

The bottom line: we teach quantum systems engineering students that real-world quantum systems have the same symplectic and metric dynamics as classical systems ... and therefore, precisely the same &lt;i&gt;spukhafte Fernwirkung&lt;/i&gt;. 

Whether this is true philosophically, is beyond my competence.  But this framework works pretty well for pedagogic and engineering purposes. :)</description>
		<content:encoded><![CDATA[<p>Engineers appreciate that real-world measurement processes have a very large number of possible outcomes &#8230; and this leads to a very different way of teaching engineering students about the origins of quantum randomness.</p>
<p>In our quantum spin imaging experiments the number of possible experimental data records is (say) 2^(10^16) &#8230; this being the number of possible ways that photons can flow through the interferometer. This is such a large number of data records that (per the Kolomogorov-Chaitin definition of randomness), the set of non-random experimental data records necessarily has measure zero.</p>
<p>In short, any theoretical framework that allows for a large number of experimental outcomes&#8212;which is to say, any realistic theory&#8212;predicts randomness &#8230; and quantum theories are not special in this regard.</p>
<p>As for the uncertainty principle, that is explained also using wholly classical language.  Measurement processes (and equivalently, noise processes) concentration quantum trajectories onto low dimension manifolds.   Viewed as a dynamical pullback onto a K&auml;hlerian state-space, this concentration preserves the Lie invariance of symplectic structure (which is why thermodynamics works for both classical and quantum systems), but not the Lie invariance of the metric structure.</p>
<p>The if we associate quantum operators with Berezin symbol functions, and associate each Berezin symbol with a Lie generator, then the Lie commutators on the reduced reduced-dimension state-space enforce all of the standard quantum limits and uncertainty principles.</p>
<p>This approach treats all processes&#8212;classical and quantum&#8212;as dynamical flows.</p>
<p>The bottom line: we teach quantum systems engineering students that real-world quantum systems have the same symplectic and metric dynamics as classical systems &#8230; and therefore, precisely the same <i>spukhafte Fernwirkung</i>. </p>
<p>Whether this is true philosophically, is beyond my competence.  But this framework works pretty well for pedagogic and engineering purposes. <img src='http://asymptotia.com/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> </p>
]]></content:encoded>
	</item>
	<item>
		<title>By: scerir</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135404</link>
		<dc:creator>scerir</dc:creator>
		<pubDate>Wed, 23 Sep 2009 17:27:22 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135404</guid>
		<description>See also ...

'Mathematical undecidability and quantum randomness'.

Authors: Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, Caslav Brukner

http://arxiv.org/abs/0811.4542

Abstract: We propose a new link between mathematical undecidability and quantum physics. We demonstrate that the states of elementary quantum systems are capable of encoding mathematical axioms and show that quantum measurements are capable of revealing whether a given proposition is decidable or not within the axiomatic system. Whenever a mathematical proposition is undecidable within the axioms encoded in the state, the measurement associated with the proposition gives random outcomes. Our results support the view that quantum randomness is irreducible and a manifestation of mathematical undecidability.</description>
		<content:encoded><![CDATA[<p>See also &#8230;</p>
<p>&#8216;Mathematical undecidability and quantum randomness&#8217;.</p>
<p>Authors: Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, Caslav Brukner</p>
<p><a href="http://arxiv.org/abs/0811.4542" rel="nofollow">http://arxiv.org/abs/0811.4542</a></p>
<p>Abstract: We propose a new link between mathematical undecidability and quantum physics. We demonstrate that the states of elementary quantum systems are capable of encoding mathematical axioms and show that quantum measurements are capable of revealing whether a given proposition is decidable or not within the axiomatic system. Whenever a mathematical proposition is undecidable within the axioms encoded in the state, the measurement associated with the proposition gives random outcomes. Our results support the view that quantum randomness is irreducible and a manifestation of mathematical undecidability.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: anonymous</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135403</link>
		<dc:creator>anonymous</dc:creator>
		<pubDate>Wed, 23 Sep 2009 16:54:00 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135403</guid>
		<description>You may be interested in these papers following similar lines of thought:

arXiv:0811.4542
arXiv:0901.3327</description>
		<content:encoded><![CDATA[<p>You may be interested in these papers following similar lines of thought:</p>
<p>arXiv:0811.4542<br />
arXiv:0901.3327</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: rrtucci</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135402</link>
		<dc:creator>rrtucci</dc:creator>
		<pubDate>Wed, 23 Sep 2009 16:33:27 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135402</guid>
		<description>"Further, there is an infinite collection of “parallel models” (my phrase), in all of which the statements in K are true, but in infinitely many of which S is true, and in infinitely many of which S is false." 

Isn't this a statement of religious faith?

Basically, you are positing the many-world (MW) interpretation of mathematical logic (L), analogous to the MW interpretation of quantum mechanics (QM). I bet not all mathematicians believe in this MW interpretation of L, just like not all believe in God. Believing in either of these MW interpretations does not allow you to predict any distinctively-MW measurements, by definition. So, why care? At least in religion, having faith may score you some points in the afterlife. What is the benefit of faith in a MW interpretation of L?

"I suspect that such an interpretation is possible, that it is distinct from those previously proposed, and that it would have profound implications."

Good luck. The interpretation of QM you posit already exists, has existed at least since Everett's PhD thesis in 1957, and hasn't produced any distinctively-MW predictions, because, guess what, it's not supposed to, by definition</description>
		<content:encoded><![CDATA[<p>&#8220;Further, there is an infinite collection of “parallel models” (my phrase), in all of which the statements in K are true, but in infinitely many of which S is true, and in infinitely many of which S is false.&#8221; </p>
<p>Isn&#8217;t this a statement of religious faith?</p>
<p>Basically, you are positing the many-world (MW) interpretation of mathematical logic (L), analogous to the MW interpretation of quantum mechanics (QM). I bet not all mathematicians believe in this MW interpretation of L, just like not all believe in God. Believing in either of these MW interpretations does not allow you to predict any distinctively-MW measurements, by definition. So, why care? At least in religion, having faith may score you some points in the afterlife. What is the benefit of faith in a MW interpretation of L?</p>
<p>&#8220;I suspect that such an interpretation is possible, that it is distinct from those previously proposed, and that it would have profound implications.&#8221;</p>
<p>Good luck. The interpretation of QM you posit already exists, has existed at least since Everett&#8217;s PhD thesis in 1957, and hasn&#8217;t produced any distinctively-MW predictions, because, guess what, it&#8217;s not supposed to, by definition</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: jr</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135400</link>
		<dc:creator>jr</dc:creator>
		<pubDate>Wed, 23 Sep 2009 13:30:16 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135400</guid>
		<description>It seems that Category theory is supposed to 
provide a foundation - better than set theory ?
Just wondering if there is something like the 
incompleteness theorem for Category theory, the
way Godel affected the Russell-Whitehead approach.</description>
		<content:encoded><![CDATA[<p>It seems that Category theory is supposed to<br />
provide a foundation - better than set theory ?<br />
Just wondering if there is something like the<br />
incompleteness theorem for Category theory, the<br />
way Godel affected the Russell-Whitehead approach.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Quantum Mechanics and Mathematical Logic &#124; Phasing</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135397</link>
		<dc:creator>Quantum Mechanics and Mathematical Logic &#124; Phasing</dc:creator>
		<pubDate>Wed, 23 Sep 2009 08:20:49 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135397</guid>
		<description>[...] Adleman, of RSA and DNA computing fame, and also my mentor, has posted his essay on his views of interpreting Quantum Mechanics on Clifford Johnson&#8217;s blog. Coming from a [...]</description>
		<content:encoded><![CDATA[<p>[...] Adleman, of RSA and DNA computing fame, and also my mentor, has posted his essay on his views of interpreting Quantum Mechanics on Clifford Johnson&#8217;s blog. Coming from a [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Manoj Gopalkrishnan</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135396</link>
		<dc:creator>Manoj Gopalkrishnan</dc:creator>
		<pubDate>Wed, 23 Sep 2009 05:51:08 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135396</guid>
		<description>"The mathematician accepts that while he is having difficulty, the standard model is not." Lol.</description>
		<content:encoded><![CDATA[<p>&#8220;The mathematician accepts that while he is having difficulty, the standard model is not.&#8221; Lol.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Tweets that mention Len Adleman: Quantum Mechanics and Mathematical Logic at Asymptotia -- Topsy.com</title>
		<link>http://asymptotia.com/2009/09/22/len-adleman-quantum-mechanics-and-mathematical-logic/comment-page-1/#comment-135395</link>
		<dc:creator>Tweets that mention Len Adleman: Quantum Mechanics and Mathematical Logic at Asymptotia -- Topsy.com</dc:creator>
		<pubDate>Wed, 23 Sep 2009 05:50:20 +0000</pubDate>
		<guid isPermaLink="false">http://asymptotia.com/?p=4855#comment-135395</guid>
		<description>[...] This post was mentioned on Twitter by Manoj Gopalkrishnan and Manoj Gopalkrishnan. Manoj Gopalkrishnan said: Reading my advisor's post on #quantum at http://bit.ly/2Wfzj3 [...]</description>
		<content:encoded><![CDATA[<p>[...] This post was mentioned on Twitter by Manoj Gopalkrishnan and Manoj Gopalkrishnan. Manoj Gopalkrishnan said: Reading my advisor&#8217;s post on #quantum at <a href="http://bit.ly/2Wfzj3" rel="nofollow">http://bit.ly/2Wfzj3</a> [...]</p>
]]></content:encoded>
	</item>
</channel>
</rss>
