On the depth of G\"{o}del's incompleteness theorem
From MaRDI portal
Publication:6348013
DOI10.1093/PHILMAT/NKAB034zbMATH Open1505.03129arXiv2008.13142WikidataQ113817975 ScholiaQ113817975MaRDI QIDQ6348013FDOQ6348013
Authors: Yong Cheng 
Publication date: 30 August 2020
Abstract: In this paper, we use G"{o}del's incompleteness theorem as a case study for investigating mathematical depth. We take for granted the widespread judgment by mathematical logicians that G"{o}del's incompleteness theorem is deep, and focus on the philosophical question of what its depth consists in. We focus on the methodological study of the depth of G"{o}del's incompleteness theorem, and propose three criteria to account for its depth: influence, fruitfulness, and unity. Finally, we give some explanations for our account of the depth of G"{o}del's incompleteness theorem.
Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)
This page was built for publication: On the depth of G\"{o}del's incompleteness theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6348013)
