Informal proofs and mathematical rigour (Q603900): Difference between revisions

@@ Property / cites work @@
+Mathematical method and proof
@@ Property / cites work: Mathematical method and proof / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527396
@@ Property / cites work: Q3527396 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200692
@@ Property / cites work: Q5200692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508471
@@ Property / cites work: Q4508471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431481
@@ Property / cites work: Q5431481 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods in the philosophy of science
@@ Property / cites work: Formal methods in the philosophy of science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3101071
@@ Property / cites work: Q3101071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3600462
@@ Property / cites work: Q3600462 / rank @@
+Normal rank
@@ Property / cites work @@
+Informal axiomatization, formalization and the concept of truth
+Normal rank
@@ Property / cites work @@
+Why Do We Prove Theorems?
@@ Property / cites work: Why Do We Prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+VI.—ON FORMALIZATION
@@ Property / cites work: VI.—ON FORMALIZATION / rank @@
+Normal rank