Dowody komputerowe a status epistemologiczny twierdzeń matematyki
Filozofia Nauki 3 (1999)
AbstractThe 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
Similar books and articles
The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Experimental Mathematics, Computers and the a Priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
On the Status of Proofs by Contradiction in the Seventeenth Century.Paolo Mancosu - 1991 - Synthese 88 (1):15 - 41.
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.
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.
Why Do Mathematicians Re-Prove Theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki.Izabela Bondecka-Krzykowska - 2004 - Filozofia Nauki 1.
Computers, Justification, and Mathematical Knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
Explanation by Induction?Miguel Hoeltje, Benjamin Schnieder & Alex Steinberg - 2013 - Synthese 190 (3):509-524.
Added to PP
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.