Philosophical Assumptions Behind the Rejection of Computer-Based Proofs

Abstract: In 1977, the first computer-assisted proof of a mathematical theorem was presented by K. Appel and W. Haken. The proof was met with a lot of criticism from both mathematicians and philosophers. In this paper, I present some examples of computer-assisted proofs, including Appel and Haken’s work. Then, I analyze the most famous arguments against the equal acceptance of computer-based and human-based proofs in mathematics and examine the philosophical assumptions behind the presented criticism. In the conclusion, I talk about whether the philosophical assumptions are justified as they are, or one needs to take a specific philosophical position to accept them.

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• Umfang: Online-Ressource
• Sprache: Englisch

Verweise und Beziehungen

• Erschienen in: Philosophical Assumptions Behind the Rejection of Computer-Based Proofs ; volume:37 ; number:2-4 ; year:2023 ; pages:105-122 ; extent:18 ; Kriterion ; 37, Heft 2-4 (2023), 105-122 (gesamt 18)

Beteiligte, Orts- und Zeitangaben

• Urheber: Parshina, Katia

Weitere Informationen

• DOI: 10.1515/krt-2022-0015
• URN: urn:nbn:de:101:1-2024011113074454500382
• Rechteinformation: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 15.08.2025, 07:31 MESZ