PL EN


2014 | 42 | 1 | 75-93
Article title

O dowodzie matematycznym bardziej źródłowo

Title variants
EN
THE INTRINSIC NATURE OF MATHEMATICAL PROOF
Languages of publication
PL
Abstracts
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.
Year
Volume
42
Issue
1
Pages
75-93
Physical description
Contributors
  • Politechnika Krakowska, Wydział Fizyki, Matematyki i Informatyki, Zakład Filozofii, Etyki i Socjologii, ul. Warszawska 24, 31-155 Kraków, Poland
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-ae8d3f61-9fb3-435e-bce2-82ee2486367f
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.