MATHEMATICAL RIGOR AND PROOF
From MaRDI portal
Publication:5078816
DOI10.1017/S1755020319000443OpenAlexW2978754843MaRDI QIDQ5078816
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
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)
Related Items (1)
Uses Software
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