Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764): Difference between revisions

@@ Property / cites work @@
+The Derivation-Indicator View of Mathematical Practice
+Normal rank
@@ Property / cites work @@
+How to Nominalize Formalism†
@@ Property / cites work: How to Nominalize Formalism† / rank @@
+Normal rank
@@ Property / cites work @@
+Q5842288
@@ Property / cites work: Q5842288 / rank @@
+Normal rank
@@ Property / cites work @@
+The Different Ways in which Logic is (said to be) Formal
+Normal rank
@@ Property / cites work @@
+Prove—Once More and Again
@@ Property / cites work: Prove—Once More and Again / 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 @@
+Q3101071
@@ Property / cites work: Q3101071 / rank @@
+Normal rank
@@ Property / cites work @@
+Informal proofs and mathematical rigour
@@ Property / cites work: Informal proofs and mathematical rigour / rank @@
+Normal rank
@@ Property / cites work @@
+On Godel Sentences and What They Say
@@ Property / cites work: On Godel Sentences and What They Say / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523518
@@ Property / cites work: Q4523518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4522880
@@ Property / cites work: Q4522880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical pluralism
@@ Property / cites work: Mathematical pluralism / 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