@article{Wójtowicz_2015, title={The Notion of Mathematical Proof and the Problem of Explanation in Mathematics}, url={https://zfn.edu.pl/index.php/zfn/article/view/9}, abstractNote={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.}, number={58}, journal={Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce)}, author={Wójtowicz, Krzysztof}, year={2015}, month={Jun.}, pages={89–114} }