4 ms·
It really is mind-bending stuff -- I have only the vaguest idea of how these proofs could work, but you summarized it beautifully. As an aside, this is also pe
by Quekid5 4y ago
It really is mind-bending stuff -- I have only the vaguest idea of how these proofs could work, but you summarized it beautifully.
As an aside, this is also perhaps also one of the best motivating examples of the idea of "oracles" in math. ("Ok, assume we can do $IMPOSSIBLE_THING... now what?" :) )