- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Proof vs Truth in Mathematics
Studia Humana 9 (3-4):10-18 (2020)
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.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Bevis och övertygelse- om behovet av att bevisa matematiska satser.Kim-Erik Berts - 2011 - Norsk Filosofisk Tidsskrift 46 (4):314-325.
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce.Roman Murawski - 2001 - Filozofia Nauki 1.
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.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
Socializing Aspects of Proof Procedure.Jaroslaw Mrozek - 2018 - Proceedings of the XXIII World Congress of Philosophy 56:25-31.
Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs.Stanisław Krajewski - 2020 - Studia Humana 9 (3-4):154-164.
Mathematics and the mind.Michael Redhead - 2004 - British Journal for the Philosophy of Science 55 (4):731-737.
Truth Through Proof: A Formalist Foundation for Mathematics.Alan Weir - 2010 - Oxford, England: Oxford University Press.
Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures.James Robert Brown - 1999 - New York: Routledge.
First‐year secondary school mathematics students' conceptions of mathematical proofs and proving.Savas Basturk - 2010 - Educational Studies 36 (3):283-298.
Why is There Philosophy of Mathematics at All?Ian Hacking - 2014 - New York: Cambridge University Press.
The role of testimony in mathematics.Line Edslev Andersen, Hanne Andersen & Henrik Kragh Sørensen - 2020 - Synthese 199 (1-2):859-870.
Analytics
Added to PP
2020-11-14
Downloads
8 (#1,243,760)
6 months
6 (#417,196)
2020-11-14
Downloads
8 (#1,243,760)
6 months
6 (#417,196)
Historical graph of downloads
Author's Profile
References found in this work
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-9lpj8 uwo