Add to ORKGThe article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart. In the first part, Azzouni’s derivation–indicator view is presented in a detailed way. According to the DI view, there is a formal derivation underlying every real proof
Most philosophers still tend to believe that mathematics is basically about producing formal proofs....
There is overwhelming evidence that students face serious challenges in learning mathematical proof....
The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Conc...
In the article, I present two possible points of view concerning mathematical proofs: (a) the formal...
The article is an attempt at collecting and systematising views on the role and place of computers i...
The received view concerning mathematics is the one, that mathematics is a priori, and that mathemat...
Abstract. In this paper, I assume, perhaps controversially, that translation into a language of form...
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
The article analyzes the role of the concept of understanding in mathematical proof. Understanding ...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
Our goal in this paper is to identify the different argumentative activities associated with the not...
Today highly nontrivial mathematics is routinely being encoded in the computer, ensuring a reliabil-...
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...
Most philosophers still tend to believe that mathematics is basically about producing formal proofs....
There is overwhelming evidence that students face serious challenges in learning mathematical proof....
The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Conc...
In the article, I present two possible points of view concerning mathematical proofs: (a) the formal...
The article is an attempt at collecting and systematising views on the role and place of computers i...
The received view concerning mathematics is the one, that mathematics is a priori, and that mathemat...
Abstract. In this paper, I assume, perhaps controversially, that translation into a language of form...
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
The article analyzes the role of the concept of understanding in mathematical proof. Understanding ...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
Our goal in this paper is to identify the different argumentative activities associated with the not...
Today highly nontrivial mathematics is routinely being encoded in the computer, ensuring a reliabil-...
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...
Most philosophers still tend to believe that mathematics is basically about producing formal proofs....
There is overwhelming evidence that students face serious challenges in learning mathematical proof....
The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Conc...