The four-color theorem and its consequences for the philosophy of mathematics
Abstract
In the paper ways in which computers are applied in mathematics are considered. An example of mathematical truth which possesses only computer-assisted proof is the four-color theorem. Based on the example of this theorem we discuss some philosophy connected with admitting computer proofs in mathematics, in particular the status of mathematical knowledge as a pattern of science whose truths are known a priori.
Full Text:
PDFDOI: http://dx.doi.org/10.17951/ai.2004.2.1.5-14
Date of publication: 2015-01-04 00:00:00
Date of submission: 2016-04-27 10:11:04
Statistics
Total abstract view - 379
Downloads (from 2020-06-17) - PDF - 0
Indicators
Refbacks
- There are currently no refbacks.
Copyright (c) 2015 Annales UMCS Sectio AI Informatica
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution 4.0 International License.