Nowa wersja platformy jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2008 | 44 | 2(176) | 211-221
Tytuł artykułu

The Role of Computers in Mathematics

Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
PL
Abstrakty
EN
Contemporary computer technology is so advanced that it leads some mathematicians to suggestions that computers can enrich the already-known forms of mathematical theses proving. Some mathematicians openly speak about computer method of proving mathematical theorems. The paper is an attempt to consider notion of computer proof. The author describes various roles that computer can play in mathematics, compares the notion of experiment in the sciences and mathematics and then indicates possible conceptual difficulties with application of computers to proving mathematical theorems. Finally, the author formulates a key questions for the considered issue: Can computer prove mathematical theses in a different sense than a formalized proof does?; and: Can the application of computer in the procedure of proving the theorems undermine the dominating position of the mathematician?
Słowa kluczowe
Rocznik
Tom
44
Numer
Strony
211-221
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
autor
  • J. Mrozek, Uniwersytet Gdanski, Instytut Filozofii, Socjologii i Dziennikarstwa, ul. Bielanska 5, 80-851 Gdansk, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
08PLAAAA05424
Identyfikator YADDA
bwmeta1.element.15965d2c-0765-3090-9861-9be273bb704d
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ć.