Instructions and constructions in set theory proofs

DOI10.1007/S11229-023-04239-7MaRDI QIDQ6835095zbMATH OpenFDO

Authors Keith Weber

Publication date 31 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-023-04239-7

zbMATH Keywords

imperativeinstructionlinguisticsmathematical practiceproof

Mathematics Subject Classification ID

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

Cites work

• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• A problem with the dependence of informal proofs on formal proofs
• Ad Infinitum... The Ghost in Turing's Machine
• Envisioning transformations -- the practice of topology
• Forms and roles of diagrams in knot theory
• How to think about informal proofs
• How to write mathematics
• scientific article; zbMATH DE number 988252 (Why is no real title available?)
• scientific article; zbMATH DE number 4061175 (Why is no real title available?)
• MATHEMATICAL RIGOR AND PROOF
• Plans and planning in mathematical proofs
• Reconciling \textit{Rigor and intuition}
• Set theory. An introduction to independence proofs
• The role of imagination and anticipation in the acceptance of computability proofs: a challenge to the standard account of rigor
• Who speaks mathematics? A semiotic case study
• Why Do We Prove Theorems?

This page was built for publication: Instructions and constructions in set theory proofs

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