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

• Authors: Krzysztof Wójtowicz

Title variants

EN

Mathematical Proof – Argumentation or Derivation? – Part I

• Languages of publication: PL

Abstracts

PL

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.

Keywords

PL

philosophy of mathematics; mathematical proof; formal derivation; derivation-indicator view; philsophy of science

• Publisher: Copernicus Center Press
• Journal: Zagadnienia Filozoficzne w Nauce
• Year: 2011
• Issue: 49
• Pages: 63-80

Dates

published

2011-11-19

Contributors

author

Krzysztof Wójtowicz