Proof vs 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 mathematicians in their research practice and formal proofs as defined in the foundations of mathematics (in metamathematics). Their role, feat...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2020-10-01
|
| Series: | Studia Humana |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/sh-2020-0025 |