Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Kwartalnik Filozoficzny

Years help

  1. 1 2008

Authors help

  1. 1 Wojtowicz K.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  COMPUTER PROOF
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

THE COMPUTER EXPERIMENT - THE SOURCE OF MATHEMATICAL KNOWLEDGE

100%
Wojtowicz K.
Kwartalnik Filozoficzny
|
2008
|
vol. 36
|
issue 1
87-104
EN
In the article, the status of the computer proof of the four-color theorem is discussed. After a short survey of contemporary literature, the general status of the mathematical proof (as an idealized logical procedure versus a part of mathematical practice) is discussed. The solution of the problem of the computer proof, which amounts to accepting the four-color theorem as a new axiom justified by the computer experiment, is considered (and rejected). Finally, the author argues that the best explanation is offered within the theoretical framework of quasi-empiricism.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.