scientific article; zbMATH DE number 515370

MaRDI QIDQ4282958zbMATH OpenFDO

Authors Xavier Caicedo

Publication date 17 October 1994

zbMATH Keywords

Berry's paradoxformal arithmeticincompletenessindefinabilityundecidability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• The Berry paradox
• The false assumption underlying berry's paradox
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• The shortest definition of a number in Peano arithmetic
• Richard, Gödel and a mathematical paradox

Cited in

(7)

• The Berry paradox
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• The false assumption underlying berry's paradox
• The shortest definition of a number in Peano arithmetic
• A Berry-type paradox
• Undecidable sentences generated by semantic paradoxes
• Decidability without mathematics

This page was built for publication:

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