RIGOUR AND PROOF

DOI10.1017/s1755020320000398zbMath1515.00014OpenAlexW3092928843MaRDI QIDQ6041347

Oliver William Tatton-Brown

Publication date: 26 May 2023

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

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

zbMATH Keywords

validitymathematical practicemathematical proofmathematical rigourlength of proofsformalizability

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Confronting ideals of proof with the ways of proving of the research mathematician
• Desperately seeking mathematical proof
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• The metaphysics of the calculus: A foundational debate in the Paris Academy of Sciences, 1700-1706
• The argument of mathematics
• From Euclidean geometry to knots and nets
• INFORMAL PROOF, FORMAL PROOF, FORMALISM
• Rigor and Structure
• A Problem with the Dependence of Informal Proofs on Formal Proofs
• “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
• Why Do We Believe Theorems?
• Errors and Corrections in Mathematics Literature
• Why Proof? What is a Proof?
• On sets of integers containing k elements in arithmetic progression
• Differential Topology
• Internal set theory: A new approach to nonstandard analysis
• The Geometry of Schemes
• Why Do We Prove Theorems?
• On proof and progress in mathematics
• The Role of Logic in Teaching Proof
• Introduction to Topological Manifolds
• The Derivation-Indicator View of Mathematical Practice
• Chunk and Permeate: The Infinitesimals of Isaac Newton
• Highly complex proofs and implications of such proofs
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Some remarks on the theory of graphs
• The Formula for Change in Variables in a Multiple Integral
• Complex Analysis
• Algebraic topology -- homology and homotopy.

This page was built for publication: RIGOUR AND PROOF