Induction, constructivity, and grounding
From MaRDI portal
Publication:1981997
Recommendations
- scientific article; zbMATH DE number 1877043
- Toward a generalization of the logic of grounding
- scientific article; zbMATH DE number 4166886
- scientific article; zbMATH DE number 4164162
- scientific article; zbMATH DE number 4014064
- scientific article; zbMATH DE number 4074451
- scientific article; zbMATH DE number 1149411
- scientific article; zbMATH DE number 3323819
- Inductive consequences in the calculus of constructions
- Grounding and truth-functions
Cites work
- scientific article; zbMATH DE number 5505771 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 3614784 (Why is no real title available?)
- An elementary proof of the prime-number theorem
- Explanation by induction?
- Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
- Mathematical induction and explanation
- Probability, explanation, and information
- Realizability and recursive set theory
- Realizability for constructive Zermelo-Fraenkel set theory
- SOLUTION OF THE HEAWOOD MAP-COLORING PROBLEM
- The Philosophy of Mathematical Practice
- Why proofs by mathematical induction are generally not explanatory
Cited in
(4)
This page was built for publication: Induction, constructivity, and grounding
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1981997)