Skolem and pessimism about proof in mathematics

DOI10.1098/RSTA.2005.1661MaRDI QIDQ5434472zbMATH OpenOpenAlexWikidataFDO

Authors Paul J. Cohen

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

zbMATH Keywords

axiom systemcalculusmodelpredicateproofSkolem paradox

Mathematics Subject Classification ID

Methodology of mathematics (00A35) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Proof and other dilemmas. Mathematics and philosophy
• The phenomenology of mathematical proof
• scientific article; zbMATH DE number 1901995
• scientific article; zbMATH DE number 1078589

Cited in

(12)

• Skolem's paradox and constructivism
• Infinite forcing and the generic multiverse
• Set theory and the analyst
• Deflating Skolem
• Reflections on Skolem's relativity of set-theoretical concepts
• Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
• Warning signs of a possible collapse of contemporary mathematics
• Cohen and Set Theory
• scientific article; zbMATH DE number 1078589 (Why is no real title available?)
• scientific article; zbMATH DE number 3997766 (Why is no real title available?)
• The mathematical significance of proof theory
• scientific article; zbMATH DE number 972383 (Why is no real title available?)

This page was built for publication: Skolem and pessimism about proof in mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434472)