Confronting ideals of proof with the ways of proving of the research mathematician (Q603906): Difference between revisions

@@ Property / cites work @@
+The Derivation-Indicator View of Mathematical Practice
+Normal rank
@@ Property / cites work @@
+Logical Pluralism
@@ Property / cites work: Logical Pluralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950498
@@ Property / cites work: Q4950498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355889
@@ Property / cites work: Q4355889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3444812
@@ Property / cites work: Q3444812 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Proof? What is a Proof?
@@ Property / cites work: Why Proof? What is a Proof? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950495
@@ Property / cites work: Q4950495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793815
@@ Property / cites work: Q4793815 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
+Normal rank
@@ Property / cites work @@
+Q5431482
@@ Property / cites work: Q5431482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527396
@@ Property / cites work: Q4527396 / 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 @@
+The phenomenology of mathematical proof
@@ Property / cites work: The phenomenology of mathematical proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q3568115
@@ Property / cites work: Q3568115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+On proof and progress in mathematics
@@ Property / cites work: On proof and progress in mathematics / rank @@
+Normal rank