<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></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.

Proof <italic>vs</italic> Truth in Mathematics

Studia Humana

This work is licensed under the Creative Commons Attribution 4.0 International License.

{"article-title":{"italic":"vs","content":["Proof","Truth in Mathematics"]}}

Two crucial concepts of the methodology and philosophy of mathematics are considered: proof and truth. We distinguish between informal proofs constructed by...

Proof vs Truth in Mathematics

Published Online: Nov 11, 2020

Page range: 10 - 18

DOI: https://doi.org/10.2478/sh-2020-0025

Keywords
formal proof, informal proof, truth, mathematics, logic, incompleteness, Jan Woleński

© 2020 Roman Murawski, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Proof vs Truth in Mathematics

Published Online: Nov 11, 2020

Page range: 10 - 18

DOI: https://doi.org/10.2478/sh-2020-0025

Keywordsformal proof, informal proof, truth, mathematics, logic, incompleteness, Jan Woleński

© 2020 Roman Murawski, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Keywords
formal proof, informal proof, truth, mathematics, logic, incompleteness, Jan Woleński