PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2008 | 36 | 1 | 87-104
Tytuł artykułu

THE COMPUTER EXPERIMENT - THE SOURCE OF MATHEMATICAL KNOWLEDGE

Autorzy
Warianty tytułu
Języki publikacji
PL
Abstrakty
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.
Rocznik
Tom
36
Numer
1
Strony
87-104
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
autor
  • K. Wojtowicz, Uniwersytet Warszawski, Instytut Filozofii, ul.Krakowskie Przedmiescie 3, 00-927 Warszawa, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
08PLAAAA04568802
Identyfikator YADDA
bwmeta1.element.041f29c1-e9e2-3081-a9e1-7e3eab6ec8a0
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.