zbMath1040.00009MaRDI QIDQ4422466
Nathan Salmon
Publication date: 25 January 2004
zbMATH Keywords
Gödel's second incompleteness theorem; human knowability of mathematics; mathematical certainty; mind and computers
Mathematics Subject Classification ID
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations