Dowód matematyczny – argumentacja czy derywacja? – część I - Katalog OPAC zbiorów

Szczegóły
Opis

Tytuł:: Dowód matematyczny – argumentacja czy derywacja? – część I
Mathematical Proof – Argumentation or Derivation? – Part I
Autorzy:: Wójtowicz, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/691022.pdf
Data publikacji:: 2011
Wydawca:: Copernicus Center Press
Tematy:: philosophy of mathematics
mathematical proof
formal derivation
derivation-indicator view
philsophy of science
Źródło:: Zagadnienia Filozoficzne w Nauce; 2011, 49; 63-80
0867-8286
2451-0602
Język:: polski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

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

Powiązane pozycje