Computer Proofs and the Epistemological Status of Mathematical Theorems

• Authors: Izabela Bondecka-Krzykowska

Title variants

PL

Dowody komputerowe a status epistemologiczny twierdzeń matematyki

EN

Computer Proofs and the Epistemological Status of Mathematical Theorems

• Languages of publication: PL

Abstracts

PL

The article is an attempt at collecting and systematising views on the role and place of computers in mathematics, in particular the views on the consequences of using computers in proving mathematical theorems. The following issues are considered in the article: the problem connected with the concept of mathematical proof and its features; the attempts at answering the question whether computer proofs are genuine mathematical proofs; the problems with methods of checking the correctness of classical and computer-assisted proofs; and finally the problem of the reliability of proofs and a related problem of the validity of mathematical conjectures. The main issue under discussion is the problem of philosophical consequences of regarding computer-assisted proofs as rightful in mathematics and especially its possible influence on the opinion that mathematical knowledge is a priori.

• Publisher: University of Warsaw, Institute of Philosophy
• Journal: Filozofia Nauki
• Year: 1999
• Volume: 7
• Issue: 3-4
• Pages: 103-116

Dates

published

1999-09-01

Contributors

author

Izabela Bondecka-Krzykowska