Truth and provability

DOI10.1007/S00283-012-9328-6MaRDI QIDQ354136zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 18 July 2013

Published in The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00283-012-9328-6

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Gödel numberings and issues of incompleteness (03F40) Logic (educational aspects) (97E30)

Recommendations

• Letter games: a metamathematical taster
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• scientific article; zbMATH DE number 1749189
• A simple character string proof of the ``true but unprovable version of Gödel's first incompleteness theorem
• Truth vs. provability – philosophical and historical remarks

Cited in

(13)

• Observations on truth, consistency and lengths of proofs
• Novels which are proofs of a theorem: an example
• Truth vs. provability – philosophical and historical remarks
• Letter games: a metamathematical taster
• Truth and definite truth
• scientific article; zbMATH DE number 2190191 (Why is no real title available?)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Undefinability of truth. the problem of priority:tarski vs gödel
• Reasoning about truth
• Truth and Probability
• scientific article; zbMATH DE number 1911059 (Why is no real title available?)
• Smullyan's truth and provability
• Gödel's program

This page was built for publication: Truth and provability

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