Induction, constructivity, and grounding
type: Item
instance of: scholarly article
title: Induction, constructivity, and grounding
DOI: 10.1215/00294527-2021-0004
published in: Notre Dame Journal of Formal Logic
publication date: 2021-09-07T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7391967
zbMATH Keywords: constructive proof
zbMATH Keywords: explanatory proof
zbMATH Keywords: induction
author: Timothy McCarthy
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2021-0004
OpenAlex ID: W3168148644
cites work: Mathematical induction and explanation
cites work: Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
cites work: Q3679172
cites work: Q3600462
cites work: Q4179016
cites work: The Philosophy of Mathematical Practice
cites work: Explanation by induction?
cites work: Why proofs by mathematical induction are generally not explanatory
cites work: Realizability and recursive set theory
cites work: Probability, explanation, and information
cites work: Q5477363
cites work: SOLUTION OF THE HEAWOOD MAP-COLORING PROBLEM
cites work: An elementary proof of the prime-number theorem
Recommended article: Q4796702
Recommended article: Toward a generalization of the logic of grounding
Recommended article: Q3493257
Recommended article: Q3490977
Recommended article: Q3026376
Recommended article: Q3805882
Recommended article: Q4386932
Recommended article: Q5603868
Recommended article: Inductive Consequences in the Calculus of Constructions
Recommended article: Q3099308
description: scientific article; zbMATH DE number 7391967