Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Kwartalnik Filozoficzny

Years help

  1. 1 2014

Authors help

  1. 1 Szumakowicz E.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  phenomenology of mathematical thinking
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

O dowodzie matematycznym bardziej źródłowo

100%
Szumakowicz E.
Kwartalnik Filozoficzny
|
2014
|
vol. 42
|
issue 1
75-93
EN
What is a mathematical proof? Is formal logic capable of shedding light on its nature or essence? The author maintains that the answer is negative. Mathematical proof requires a more intrinsic investigation and explanation due to its specific structure. The crucial element is usually situated on the top level of the proof structure, so that an axiomatic basis is as a rule useless in mathematical thinking. The final conclusion is that the formal-logical foundations of mathematics should be complemented with a phenomenology of mathematical thinking. The latter should be developed in a manner that is understandable for ordinary mathematicians. Philosophy would thus show its applicability and usefulness beyond its own purely theoretical and speculative domain. The general should be embodied in the concrete. The author believes that this type of interdisciplinary, philosophico-mathematical research will attract mathematicians to philosophy with profit for their own domain.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.