Results found: 2

Search results

Search:
in the keywords: formal derivation

Sort By:

Limit search:

Dowód matematyczny – argumentacja czy derywacja? – część II

100%

Wójtowicz K.

Zagadnienia Filozoficzne w Nauce

2011

issue 49

81-97

In the first part of the paper, Azzouni’s derivation–indicator view was presented. In the second part it is analyzed in a detailed way. It is shown, that many problems arise, which cannot be explained in a satisfactory way in Azzouni’s theory, in particular the problem of the explanatory role of proof, of its epistemic role; the relationship between first–order and second–order versions of proofs is also not clear. It is concluded, that Azzouni’s theory does not provide a satisfactory account of mathematical proof, but inspires an interesting discussion. In the article, some of the mentioned problems are discussed.

Dowód matematyczny – argumentacja czy derywacja? – część I

100%

Wójtowicz K.

Zagadnienia Filozoficzne w Nauce

2011

issue 49

63-80

The 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.

Refine search results

2 Zagadnienia Filozoficzne w Nauce

2 Wójtowicz K.

2 2011

Search results

Dowód matematyczny – argumentacja czy derywacja? – część II

Dowód matematyczny – argumentacja czy derywacja? – część I