|
|
|
|
|
|
by Quekid5
1387 days 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?" :) ) |
|
|