Mathematical Rigour and Informal Proof

DOI10.1017/9781009325110MaRDI QIDQ6146156zbMATH OpenOpenAlexFDO

Authors Fenner Stanley Tanswell

Publication date 5 February 2024

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Informal proofs and mathematical rigour
• Rigour and intuition
• RIGOUR AND PROOF
• MATHEMATICAL RIGOR AND PROOF
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics

Cited in

(7)

• Rigour and intuition
• Reconciling \textit{Rigor and intuition}
• Mathematical justification is still infallible
• Artificial intelligence and inherent mathematical difficulty
• Language, models, and reality: weak existence and a threefold correspondence
• Trust in mathematics
• Is the concept of computation a conceptual fixed point?

This page was built for publication: Mathematical Rigour and Informal Proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6146156)