Talk:Non-surveyable proof

Other possible sources


ピングちゃん/ping-chan (talk) 03:28, 17 December 2015 (UTC)

Reconciliation with Computer-assisted proof
This and Computer-assisted_proof should be brought into agreement. ピングちゃん/ping-chan (talk) 03:28, 17 December 2015 (UTC)

oh god
Imagine that an evil god messes with your computer every time you check the 4-color theorem. This evil god doesn't need to mess with your mind, only with the outer physical world. In the final day this evil god will show you a map that cannot be 4-colored. — Preceding unsigned comment added by 37.135.24.122 (talk) 21:23, 27 December 2017 (UTC) that's feasible if you have the ability to stop time and enough willpower to annoy others — Preceding unsigned comment added by 37.135.24.122 (talk) 21:25, 27 December 2017 (UTC)