Informal proofs and mathematical rigour

DOI10.1007/s11225-010-9280-4zbMath1208.03011OpenAlexW1995235276MaRDI QIDQ603900

Marianna Antonutti Marfori

Publication date: 8 November 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9280-4

zbMATH Keywords

formalisationmathematical practicemathematical knowledgeinformal rigourinformal provabilitymathematical proofmathematical rigour

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10)

Related Items (11)

Is there a ``Hilbert thesis? ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY ⋮ RIGOUR AND PROOF ⋮ Audience role in mathematical proof development ⋮ Reliability of mathematical inference ⋮ The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics ⋮ Non-deterministic logic of informal provability has no finite characterization

Cites Work

• Mathematical method and proof
• Formal methods in the philosophy of science
• Informal axiomatization, formalization and the concept of truth
• VI.—ON FORMALIZATION
• Why Do We Prove Theorems?
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Informal proofs and mathematical rigour