Induction, constructivity, and grounding

DOI10.1215/00294527-2021-0004OpenAlexW3168148644MaRDI QIDQ1981997

Timothy G. McCarthy

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0004

zbMATH Keywords

inductionconstructive proofexplanatory proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Realizability and recursive set theory
• Probability, explanation, and information
• Explanation by induction?
• An elementary proof of the prime-number theorem
• Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
• The Philosophy of Mathematical Practice
• Why proofs by mathematical induction are generally not explanatory
• Mathematical induction and explanation
• SOLUTION OF THE HEAWOOD MAP-COLORING PROBLEM
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Induction, constructivity, and grounding