ZapperZ said:
In case you didn't read Laughlin's Nobel Prize speech, he assigned this to his students in a graduate quantum class, i.e. starting from the microscopic interaction at the individual particles and then try to "derive" superconductivity. It can't be done. It was a trick question.
Yes, but so was Fermat's last theorem for a few centuries... people tried and couldn't prove it.
We've been over this already a few times now and it is clear that we have different opinions on the subject. My main problem with your view, however, is that I don't really understand it.
I'm not disputing that it isn't wise, or practical, to build directly phenomenological models. For sure it is.
I'm not even disputing that certain emergent phenomena are probably so deeply burried into the microscopic interactions, that you can even bet on it that no-one in any forseeable future will find the right analysis to show them to you with some rigor.
However, the point I've been repeating is that to CLAIM that this is impossible in principle has no foundation - just as well as the claim that it MUST be possible, btw. There must be hidden, in the platonic mathematical world, a proof that the emergent phenomenon DOES follow from the microscopic prescription, OR a proof that the emergent phenomenon DOES NOT follow from that microscopic prescription, OR a mathematical issue such as a singularity or something that prevents you from obtaining the solution.
In the first case (which I, as all reductionists, conjecture), well, Laughlin is wrong ; in the second case, well, Laughlin is right, and reductionists take it that there is then an ERROR in the microscopic physics, and in the third case, Laughlin is right and reductionists say that the microscopic specification is INCOMPLETE.
There are cases where we are in the first case (and this has been explicitly demonstrated) ; a simple example is of course the kinetic theory of gasses. I'm not aware of EXPLICIT PROOFS of the second and third cases. I'm aware - as you point out - of failed attempts of the first case ; but to me that's like people failing to find the proof of Fermat's last theorem: it's not because you don't find the proof that the theorem is false.
Now, I leave open the possibilities of 2 and 3 (although they'd shock me!) ; but you should leave open the possibility of 1 too

. After all, we don't have any proof one way or another, so it is just a matter of personal opinion.