Dowód matematyczny – argumentacja czy derywacja? – część I
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 det...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Copernicus Center Press
2011-11-01
|
| Series: | Zagadnienia Filozoficzne w Nauce |
| Subjects: | |
| Online Access: | http://zfn.edu.pl/index.php/zfn/article/view/120 |