On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
From MaRDI portal
Publication:809063
DOI10.1007/BF00263316zbMath0732.03003WikidataQ56139363 ScholiaQ56139363MaRDI QIDQ809063
Publication date: 1990
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00263316
metamathematics; finitistic methods; Gödel's First Incompleteness Theorem; Gödel's Second Incompleteness Theorem; Hilbert's Program
03A05: Philosophical and critical aspects of logic and foundations
03F03: Proof theory in general (including proof-theoretic semantics)
03F99: Proof theory and constructive mathematics
Related Items
UNIVERSISM AND EXTENSIONS OF V, Representations and the foundations of mathematics, Proof Theory in Philosophy of Mathematics