TY - JOUR
AU - Wójtowicz, Krzysztof
PY - 2015/06/16
Y2 - 2024/11/14
TI - The Notion of Mathematical Proof and the Problem of Explanation in Mathematics
JF - Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce)
JA - ZFN
VL - 0
IS - 58
SE - Articles
DO -
UR - https://zfn.edu.pl/index.php/zfn/article/view/9
SP - 89-114
AB - 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.
ER -