You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

JoshuaZ comments on 2011 Buhl Lecture, Scott Aaronson on Quantum Complexity - Less Wrong Discussion

8 Post author: p4wnc6 09 July 2011 04:43AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (4)

You are viewing a single comment's thread.

Comment author: JoshuaZ 09 July 2011 02:21:09PM *  4 points [-]

In what sort of evidence space can physical brain computation yielding complexity limits count as bits of evidence factoring into expected physical outcomes (such as the exponential smallness of the spectral gap of NP-hard-Hamiltonians from the quantum adiabatic theorem)?

These sorts of questions are really tough. However, for most useful purposes it seems that we don't need to ask this (difficult) question. The main issue is that our empirical investigation of our universe suggests that the physical laws don't allow us to do lots of efficient computation (most obviously, whatever the physical laws are, it seems that we can't easily use them to compute NP complete problems in polynomial time, and certainly can't do so for #P). So most of the conclusions that Scott is arriving at come in some sense from empirical observations about the world around us. They just aren't a class of observations that we're used to thinking about as observations of the physical world (they are much more abstract than something like "all electrons have the same rest mass").