Second thoughts around some of Gödel's writings: A non-academic option
From MaRDI portal
Publication:1299778
DOI10.1023/A:1005006610269zbMath0935.01009MaRDI QIDQ1299778
Publication date: 25 April 2000
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005006610269
completeness; artificial intelligence; foundations; proof theory; incompleteness; Hilbert's 10th problem; recursiveness; intuition; finitism; Hilbert's programme; \(\epsilon\)-axiom; Gödel's Gibb's lectures; Wesensschau
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