Talk:Non-surveyable proof: Difference between revisions
Appearance
Content deleted Content added
→Reconciliation with Computer-assisted proof: new section |
→Other possible sources: Sign |
||
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
This article has not yet been rated on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||
Please add the quality rating to the {{WikiProject banner shell}} template instead of this project banner. See WP:PIQA for details.
Please add the quality rating to the {{WikiProject banner shell}} template instead of this project banner. See WP:PIQA for details.
|
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)
Categories:
- C-Class Philosophy articles
- Low-importance Philosophy articles
- C-Class logic articles
- Low-importance logic articles
- Logic task force articles
- C-Class philosophy of science articles
- Low-importance philosophy of science articles
- Philosophy of science task force articles
- C-Class mathematics articles
- Low-priority mathematics articles