Skolem and pessimism about proof in mathematics
From MaRDI portal
Publication:5434472
DOI10.1098/rsta.2005.1661zbMath1128.03002OpenAlexW2005545560WikidataQ51963619 ScholiaQ51963619MaRDI QIDQ5434472
Publication date: 4 January 2008
Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.2005.1661
Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) History of mathematical logic and foundations (03-03)
Related Items (4)
The mathematical significance of proof theory ⋮ Set theory and the analyst ⋮ Cohen and Set Theory ⋮ Infinite forcing and the generic multiverse
Cites Work
This page was built for publication: Skolem and pessimism about proof in mathematics