The role of syntactic representations in set theory (Q6182768): Difference between revisions

@@ Property / cites work @@
+Acceptable gaps in mathematical proofs
@@ Property / cites work: Acceptable gaps in mathematical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+The Derivation-Indicator View of Mathematical Practice
+Normal rank
@@ Property / cites work @@
+Rigor and Structure
@@ Property / cites work: Rigor and Structure / rank @@
+Normal rank
@@ Property / cites work @@
+An Inquiry into the Practice of Proving in Low-Dimensional Topology
+Normal rank
@@ Property / cites work @@
+Intentional gaps in mathematical proofs
@@ Property / cites work: Intentional gaps in mathematical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+And so on \dots : reasoning with infinite diagrams
+Normal rank
@@ Property / cites work @@
+Q5592220
@@ Property / cites work: Q5592220 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Q2904376
@@ Property / cites work: Q2904376 / rank @@
+Normal rank
@@ Property / cites work @@
+How to think about informal proofs
@@ Property / cites work: How to think about informal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
+Normal rank
@@ Property / cites work @@
+From Euclidean geometry to knots and nets
@@ Property / cites work: From Euclidean geometry to knots and nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818261
@@ Property / cites work: Q3818261 / rank @@
+Normal rank
@@ Property / cites work @@
+A term of length 4 523 659 424 929
@@ Property / cites work: A term of length 4 523 659 424 929 / rank @@
+Normal rank
@@ Property / cites work @@
+Desperately seeking mathematical proof
@@ Property / cites work: Desperately seeking mathematical proof / rank @@
+Normal rank
@@ Property / cites work @@
+Why Do We Believe Theorems?
@@ Property / cites work: Why Do We Believe Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+Why Do We Prove Theorems?
@@ Property / cites work: Why Do We Prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
+Normal rank
@@ Property / cites work @@
+A Problem with the Dependence of Informal Proofs on Formal Proofs
+Normal rank