Favio Ezequiel Miranda Perea (Author)
Lourdes del Carmen González Huesca (Author)
Almagest
Volume: 14
Issue: 2
Pages: 222-245
Publication date: 2023
Language: English
The concept of proof in mathematics has evolved through centuries from the intuitive notions of justification and validation. Many aspects around proofs and their acceptance have been part of philosophical and mathematical discussions since long time ago, but the insight of what counts or not as a valid mathematical proof has been changed since the advent of computers. Nowadays computer-assisted proofs and methodologies play a relevant role in many scientific areas and in the case of today mathematics some of those proofs can be put on a par with traditional paperand- pencil proofs. This raises the question whether they are just two incarnations of the same idea of proof or some kind of conceptual change is required to elucidate whether a computer-assisted proof can be considered as a valid demonstration in the mathematical practice. In this paper we give some initial remarks and arguments to explore the emergence of possible conceptual changes related to a specific kind of computer-assisted proofs, namely those developed by a human agent with the help of a modern interactive theorem prover or proof-assistant.
...MoreArticle Vincent Jullien; Carmen Martínez-Adame (2023) Foreward. Almagest (pp. 6-14).
Similar Citations
Article
Dick, Stephanie;
(2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration
Book
Gabriele Lolli;
(2022)
The Meaning of Proofs: Mathematics as Storytelling
Book
John P. Burgess;
(2015)
Rigor and Structure
Article
Ansten Klev;
(2018)
A Road Map of Dedekind’s Theorem 66
Article
Lorenzo, Javier de;
(2003)
Del hacer matemático y sus filosofías
Article
Martínez Finkelshtein, Andrei;
(2003)
El Análisis Numérico en los últimos 25 años
Article
Clare S. Kim;
(2023)
The Art and Craft of Mathematical Expression: Computational Origami and the Politics of Creativity
Article
Heukelom, Floris;
(2015)
A History of the Allais Paradox
Chapter
Harari, Orna;
(2012)
John Philoponus and the Conformity of Mathematical Proofs to Aristotelian Demonstrations
Article
Palle Yourgrau;
(2020)
Proof vs Provability: On Brouwer’s Time Problem
Book
MacKenzie, Donald A.;
(2001)
Mechanizing Proof: Computing, Risk and Trust
Essay Review
Klement, Kevin C.;
(2007--2008)
A New Century in the Life of a Paradox
Book
Jairo José da Silva;
(2018)
Mathematics and Its Applications: A Transcendental-Idealist Perspective
Book
Brendan Larvor;
(2016)
Mathematical Cultures: The London Meetings 2012-2014
Book
Luca Bellotti;
(2025)
Prospettive di filosofia della matematica
Article
Sha, Xin Wei;
(2004)
Differential Geometrical Performance and Poiesis
Book
Gandon, Sébastien;
(2012)
Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics
Article
Kanovei, Vladimir;
Katz, Mikhail G.;
Mormann, Thomas;
(2013)
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics
Chapter
Diestel, Joe;
(2014)
Grothendieck and Banach Space Theory
Article
Hu, Hua-kai;
Gou, Wen-zeng;
(2005)
Animadversion on idealism of mathematics in China from the 1950s to 1970s
Be the first to comment!