In Marcos Silva (ed.), How Colours Matter to Philosophy. Cham: Springer. pp. 289-307 (2017)

Gisele Dalva Secco
Federal University of Santa Maria
The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem.
Keywords Four-Colour Theorem  Proof  Experiment  Wittgenstein
Categories No categories specified
(categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Wittgenstein, Finitism, and the Foundations of Mathematics.Mathieu Marion - 1998 - Oxford, England: Oxford University Press.

View all 30 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Four-Color Theorem and Mathematical Proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Mathematical Fit: A Case Study.Manya Raman-Sundström & Lars-Daniel Öhman - forthcoming - Philosophia Mathematica:nkw015.
Mathematical Explanations That Are Not Proofs.Marc Lange - 2018 - Erkenntnis 83 (6):1285-1302.
What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
The Translation Theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.
Gleason's Theorem has a Constructive Proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
Metamathematics, Machines and Gödel's Proof.N. Shankar - 1994 - Cambridge University Press.


Added to PP index

Total views
365 ( #24,989 of 2,456,062 )

Recent downloads (6 months)
61 ( #12,248 of 2,456,062 )

How can I increase my downloads?


My notes