Wszystkie pola: mathematical proof - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Skocz do pozycji: 2.

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ł

Skocz do pozycji: 3.

Tytuł:: Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II
Mathematical Proof from the Formalistic Viewpoint. Part II
Autorzy:: Wójtowicz, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/2013331.pdf
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: program Hilberta
platonizm Fregego
intuicja matematyczna
Hilbert’s program
Frege’s Platonism
mathematical intuition
Opis:: In the second part I discuss Frege’s and Hilbert views on the nature of mathematical proof, in particular their discussion concerning the problem of implicit definitions. I also discuss Hilbert’s program and conclude with some remarks concerning the problem of the “decline of intuition” in the formalistic conception of mathematical proof.
Źródło:: Roczniki Filozoficzne; 2007, 55, 2; 139-153
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I
Mathematical Proof from the Formalistic Viewpoint. Part I
Autorzy:: Wójtowicz, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/2013332.pdf
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: Descartes
Berkeley
Peacock
Pasch
formalism
formalizm
Opis:: This article is the first one to examine the evolution of the notion of mathematical proof in a historical perspective. First I present the intuitive, approach of Descartes, according to which mathematical proof is based on self-evident principles. I follow with an analysis of Berkeley’s mathematical instrumentalism and argue that he can be considered a predecessor of modern formalism. The article also deals with the ideas of Peacock and Pasch, and their role in the development of the modern formalistic viewpoint.
Źródło:: Roczniki Filozoficzne; 2007, 55, 2; 123-138
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 5.

Tytuł:: Rozumienie dowodu matematycznego a zagadnienie wyjaśnienia w matematyce
The Notion of Mathematical Proof and the Problem of Explanation in Mathematics
Autorzy:: Wójtowicz, Krzysztof
Powiązania:: https://bibliotekanauki.pl/articles/690770.pdf
Data publikacji:: 2015
Wydawca:: Copernicus Center Press
Tematy:: philosophy of mathematics
mathematical proof
explanation in mathematics
explanatory proofs
mathematical intuition
Opis:: In the article, I present two possible points of view concerning mathematical proofs: (a) the formal view (according to which the formalized versions of mathematical proofs reveal their “essence”); (b) the semantic view (according to which mathematical proofs are sequences of intellectual acts, and a form of intuitive “grasp” is crucial). The problem of formalizability of mathematical proofs is discussed, as well as the problem of explanation in mathematics – in particular the problem of explanatory versus non-explanatory character of mathematical proofs. I argue, that this problem can be analyzed in a fruitful way only from the semantic point of view.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2015, 58; 89-114
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja