- 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ł