Why do informal proofs conform to formal norms? (Q2271071): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10699-008-9144-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2088842326
@@ Property / OpenAlex ID: W2088842326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315105
@@ Property / cites work: Q4315105 / rank @@
+Normal rank
@@ Property / cites work @@
+Stipulation, Logic, and Ontological Independence†
+Normal rank
@@ Property / cites work @@
+The Derivation-Indicator View of Mathematical Practice
+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 @@
+Q3597504
@@ Property / cites work: Q3597504 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488177
@@ Property / cites work: Q4488177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890634
@@ Property / cites work: Q3890634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3153101
@@ Property / cites work: Q3153101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318839
@@ Property / cites work: Q4318839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3154457
@@ Property / cites work: Q3154457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534234
@@ Property / cites work: Q5534234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817389
@@ Property / cites work: Q5817389 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2271071