Revisiting “The New 4CT Problem”

Mark McEvoy ()
Additional contact information
Mark McEvoy: Hofstra University

A chapter in Handbook of the History and Philosophy of Mathematical Practice, 2024, pp 2459-2479 from Springer

Abstract: Abstract According to what one might label the traditional view of proof in mathematics, proofs have the following characteristics. They are knowable a priori, the knowledge they provide is certain, rather than merely probable, they are surveyable, and, because of these other features, a mathematical proof is convincing to one who understands it. Opponents of this view typically drew their motivation not from the study of mathematics, but rather from a more general antipathy to apriority in epistemology and necessity in metaphysics (Mill, Putnam and Quine all spring to mind here). Tymoczko (1979) provides a different sort of challenge, taking as its cue a development within mathematics itself, rather than being based on philosophical scruples over apriority or necessity.

Keywords: Computer proofs; Apriorism; Tymoczko; Unsurveyability; Certainty; Four color problem; Mathematical proof; Knowledge (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-40846-5_38

Ordering information: This item can be ordered from
http://www.springer.com/9783031408465

DOI: 10.1007/978-3-031-40846-5_38

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().