Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II

Szczegóły
Opis

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
Źródło:: Roczniki Filozoficzne; 2007, 55, 2; 139-153
0035-7685
Język:: polski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Powiązane pozycje