Proof vs Truth in Mathematics

Studia Humana 9 (3-4):10-18 (2020)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.2478/sh-2020-0025

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,964

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs.Stanisław Krajewski - 2020 - Studia Humana 9 (3-4):154-164.
The concept of truth of the mathematical theory in the context of contemporary mathematics substantiation.N. V. Mikhailova - 2017 - Liberal Arts in Russia 6 (1):40-47.
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
Logical completeness, truth, and proofs.Gabriele Lolli - 1998 - In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 117.
Concepts of Proof in Mathematics, Philosophy, and Computer Science.Peter Schuster & Dieter Probst (eds.) - 2016 - Boston: De Gruyter.
Proofs 101: an introduction to formal mathematics.Joseph Kirtland - 2020 - Boca Raton: CRC Press, Taylor & Francis Group.
Teaching and Learning Guide for: Explanation in Mathematics: Proofs and Practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
The meaning of proofs: mathematics as storytelling.Gabriele Lolli - 2022 - Cambridge, Massachusetts: The MIT Press. Edited by Bonnie McClellan-Broussard & Matilde Marcolli.

Analytics

Added to PP
2020-11-14

Downloads
33 (#713,270)

6 months
5 (#718,261)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.
Poincaré against the logicians.Michael Detlefsen - 1992 - Synthese 90 (3):349 - 378.

View all 13 references / Add more references