What inductive explanations could not be (Q2219138): Difference between revisions

@@ Property / OpenAlex ID @@
+W2624365719
@@ Property / OpenAlex ID: W2624365719 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Types in Homotopy Type Theory
@@ Property / cites work: Inductive Types in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical induction and explanation
@@ Property / cites work: Mathematical induction and explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Pictures
@@ Property / cites work: Proofs and Pictures / rank @@
+Normal rank
@@ Property / cites work @@
+The Varieties of Mathematical Explanation
@@ Property / cites work: The Varieties of Mathematical Explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633976
@@ Property / cites work: Q5633976 / rank @@
+Normal rank
@@ Property / cites work @@
+Why proofs by mathematical induction are generally not explanatory
+Normal rank
@@ Property / cites work @@
+Higher Inductive Types as Homotopy-Initial Algebras
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank