Talk:Non-surveyable proof

Other possible sources

• Swart, Edward Reinier (1980), "The philosophical implications of the four-color problem", American Mathematical Monthly, vol. 87, no. 9, Mathematical Association of America, pp. 697–702, doi:10.2307/2321855, JSTOR 2321855, MR 0602826
• Wilson, Robin (2014) [2002], Four Colors Suffice, Princeton Science Library, Princeton, NJ: Princeton University Press, ISBN 978-0-691-15822-8, MR 3235839

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

Reconciliation with Computer-assisted proof

This and Computer-assisted_proof#Philosophical_objections 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)