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ę "Intuition" wg kryterium: Temat


Wyświetlanie 1-2 z 2
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ł
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ł
    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