Proof vs Truth in Mathematics
Abstract
Two crucial concepts of the methodology and philosophy of mathematics are considered: proof and truth. We distinguish between informal proofs constructed by mathematicians in their research practice and formal proofs as defined in the foundations of mathematics (in metamathematics). Their role, features and interconnections are discussed. They are confronted with the concept of truth in mathematics. Relations between proofs and truth are analysed.
DOI: https://doi.org/10.2478/sh-2020-0025 | Journal eISSN: 2299-0518
Language: English
Page range: 10 - 18
Published on: Nov 11, 2020
Published by: Sciendo
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
Related subjects:
© 2020 Roman Murawski, published by Sciendo
This work is licensed under the Creative Commons Attribution 4.0 License.