The Notion of Mathematical Proof and the Problem of Explanation in Mathematics
Main Article Content
Abstract
In the article, I present two possible points of view concerning mathematical proofs: (a) the formal view (according to which the formalized versions of mathematical proofs reveal their “essence”); (b) the semantic view (according to which mathematical proofs are sequences of intellectual acts, and a form of intuitive “grasp” is crucial). The problem of formalizability of mathematical proofs is discussed, as well as the problem of explanation in mathematics – in particular the problem of explanatory versus non-explanatory character of mathematical proofs. I argue, that this problem can be analyzed in a fruitful way only from the semantic point of view.
Article Details
Section
Articles
How to Cite
The Notion of Mathematical Proof and the Problem of Explanation in Mathematics. (2015). Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), 58, 89-114. https://zfn.edu.pl/index.php/zfn/article/view/9