The four-color theorem and its consequences for the philosophy of mathematics

Izabela Bondecka-Krzykowska

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:

PDF


DOI: 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 - 448
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
This work is licensed under a Creative Commons Attribution 4.0 International License.