Rozumienie dowodu matematycznego a zagadnienie wyjaśnienia w matematyce

• Authors: Krzysztof Wójtowicz

Title variants

EN

The Notion of Mathematical Proof and the Problem of Explanation in Mathematics

• Languages of publication: PL

Abstracts

EN

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.

Keywords

PL

philosophy of mathematics; mathematical proof; explanation in mathematics; explanatory proofs; mathematical intuition

EN

philosophy of mathematics; mathematical proof; explanation in mathematics; explanatory proofs; mathematical intuition

• Publisher: Copernicus Center Press
• Journal: Zagadnienia Filozoficzne w Nauce
• Year: 2015
• Issue: 58
• Pages: 89-114

Dates

published

2015-06-16

Contributors

author

Krzysztof Wójtowicz