Dowody komputerowe a status epistemologiczny twierdzeń matematyki

Filozofia Nauki 3 (1999)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 74,594

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Metamathematics, Machines and Gödel's Proof.N. Shankar - 1994 - Cambridge University Press.
Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge and London: Cambridge University Press.
Why Do Informal Proofs Conform to Formal Norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
Why Do Mathematicians Re-Prove Theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Picture-Proofs and Platonism.Irina Starikova - 2007 - Croatian Journal of Philosophy 7 (1):81-92.
Independence and Justification in Mathematics.Krzysztof Wójtowicz - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):349-373.


Added to PP


6 months

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references