On Gödel's philosophical assumptions
From MaRDI portal
Publication:1299779
DOI10.1023/A:1005042207543zbMath0935.01008MaRDI QIDQ1299779
Publication date: 25 April 2000
Published in: Synthese (Search for Journal in Brave)
independence-friendly logic; possible worlds semantics; Dialectica interpretation; Platonism; mathematical objects; semantical completeness; deductive completeness and incompleteness; descriptive completeness and incompleteness; one-world assumptions
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
Related Items