The role of syntactic representations in set theory

DOI10.1007/s11229-019-02157-1zbMath1529.03264OpenAlexW2919842632MaRDI QIDQ6182768

Keith Weber

Publication date: 26 January 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/15774/1/Synthese-%20Syntactic%20representations%20final.docx

zbMATH Keywords

set theoryderivationproofmathematical practice

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Set theory (03E99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• And so on \dots : reasoning with infinite diagrams
• How to think about informal proofs
• Desperately seeking mathematical proof
• Set theory. An introduction to independence proofs
• Intentional gaps in mathematical proofs
• A term of length 4 523 659 424 929
• From Euclidean geometry to knots and nets
• Acceptable gaps in mathematical proofs
• 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
• Why Do We Believe Theorems?
• Why Do We Prove Theorems?
• The Derivation-Indicator View of Mathematical Practice
• Rigor and Structure
• An Inquiry into the Practice of Proving in Low-Dimensional Topology
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

This page was built for publication: The role of syntactic representations in set theory