pboily
fingerlickinmathematickin
In a universe where an observer is often needed to "collapse the wave function", can it be said that logic exists on its own?warpus said:Surely the logic behind the theorem has existed before humans could even speak - but we did not know of it until it was written down (and proved) by a Mathematician.
Shrodinger's Cat implies that if that were the case, you would need an original observer (I'll give you one try to figure out who that observer would need to be...)
As I have no need for that particular hypothesis, the other, less appealing notion (that a theorem exists only after it is formulated) merits some consideration. And that's the crux of the whole "debate."
But as I said, it's an informal debate: nothing like the Foundation crisis of 100 years ago. It doesn't really affect how we do mathematics.