Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "mathematical proof" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Dowód matematyczny – argumentacja czy derywacja? – część II
Mathematical Proof – Argumentation or Derivation? – Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691020.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical proof
formal derivation
derivation-indicator view
philsophy of science
Opis:
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.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 81-97
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Opis:
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.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 63-80
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies