On Gödel's philosophical assumptions
From MaRDI portal
Publication:1299779
DOI10.1023/A:1005042207543zbMath0935.01008OpenAlexW161442751MaRDI QIDQ1299779
Publication date: 25 April 2000
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005042207543
independence-friendly logicpossible worlds semanticsDialectica interpretationPlatonismmathematical objectssemantical completenessdeductive completeness and incompletenessdescriptive completeness and incompletenessone-world assumptions
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items (1)
This page was built for publication: On Gödel's philosophical assumptions