TY - JOUR
AU - Wójtowicz, Krzysztof
PY - 2011/11/19
Y2 - 2024/02/27
TI - Mathematical Proof – Argumentation or Derivation? – Part I
JF - Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce)
JA - ZFN
VL - 0
IS - 49
SE - Articles
DO -
UR - https://zfn.edu.pl/index.php/zfn/article/view/120
SP - 63-80
AB - 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 <em>derivation–indicator view </em>is presented in a detailed way. According to the DI view, there is a formal derivation underlying every real proof.
ER -