“There are three men on a train. One of them is an economist and one of them is a logician and one of the is a mathematician. And they have just crossed the border into Scotland (I don’t know why they are going to Scotland) and they see a brown cow standing in a field from the window of the train (and the cow is standing parallel to the train).

And the economist says, ‘Look, the cows in Scotland are brown.’

And the logician says, ‘No. There are cows in Scotland of which one at least is brown.’

And the mathematician says, ‘No. There is at least on cow in Scotland, of which one side appears to be brown.’

And it is funny because economists are not real scientists, and because logicians think more clearly, but mathematicians are best.” ]]>

“Since there still seems to be some confusion over terminology, let me lay it out as explicitly as I can.

if (impossibility proof is valid) {

if (its conditions hold) {”

I was alluding to the conditions. I think string theory circumvents some impossibility proof for QFT’s. While QM impossibility for local hidden variable theories holds.

CS/math proofs are clear about conditions of course. You make that condition very clear. 🙂

]]>Could we get a grammar check on aisle five?

]]>