Jump to content

Talk:Non-surveyable proof: Difference between revisions

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
Content deleted Content added
Line 9: Line 9:
*{{Citation |last=Wilson |first=Robin |authorlink=Robin Wilson (mathematician) |title=Four Colors Suffice | publisher=Princeton University Press |place=Princeton, NJ |series=Princeton Science Library |year=2014 | origyear=2002 |isbn =978-0-691-15822-8 | mr=3235839}}
*{{Citation |last=Wilson |first=Robin |authorlink=Robin Wilson (mathematician) |title=Four Colors Suffice | publisher=Princeton University Press |place=Princeton, NJ |series=Princeton Science Library |year=2014 | origyear=2002 |isbn =978-0-691-15822-8 | mr=3235839}}
{{refend}}
{{refend}}
[[User:ピングちゃん|ピングちゃん/ping-chan]] ([[User talk:ピングちゃん|talk]]) 03:28, 17 December 2015 (UTC)


== Reconciliation with [[Computer-assisted_proof#Philosophical_objections|Computer-assisted proof]] ==
== Reconciliation with [[Computer-assisted_proof#Philosophical_objections|Computer-assisted proof]] ==

Revision as of 03:28, 17 December 2015

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)[reply]

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)[reply]