Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  explanation in mathematics
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.