O dowodzie matematycznym bardziej źródłowo

• Authors: Eugeniusz Szumakowicz

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.

Keywords

EN

mathematical proof; mathemathical thinking; formal –logical foundation of mathematics; phenomenology of mathematical thinking

• Publisher: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Journal: Kwartalnik Filozoficzny
• Year: 2014
• Volume: 42
• Issue: 1
• Pages: 75-93

Contributors

author

Eugeniusz Szumakowicz

• Politechnika Krakowska, Wydział Fizyki, Matematyki i Informatyki, Zakład Filozofii, Etyki i Socjologii, ul. Warszawska 24, 31-155 Kraków, Poland