Proof<i>vs</i>Truth in Mathematics
Proof<i>vs</i>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 …