MATHEMATICAL RIGOR AND PROOF

DOI10.1017/S1755020319000443OpenAlexW2978754843MaRDI QIDQ5078816

Yacin Hamami

Publication date: 25 May 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000443

zbMATH Keywords

formal proofmathematical practicemathematical proofmathematical rigor

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)

Related Items (1)

Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?

Uses Software

• Flyspeck

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How to think about informal proofs
• Informal proofs and mathematical rigour
• Mathematical method and proof
• Lectures on the Curry-Howard isomorphism
• Intentional gaps in mathematical proofs
• On Bourbaki's axiomatic system for set theory
• Why do informal proofs conform to formal norms?
• INFORMAL PROOF, FORMAL PROOF, FORMALISM
• Rigor and Structure
• A Problem with the Dependence of Informal Proofs on Formal Proofs
• Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
• The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
• Why Do We Prove Theorems?
• Prove—Once More and Again
• Opinion: The Mechanization of Mathematics
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
• The Derivation-Indicator View of Mathematical Practice
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof

This page was built for publication: MATHEMATICAL RIGOR AND PROOF