Truth and provability

DOI10.1007/S00283-012-9328-6zbMATH Open1295.03040OpenAlexW1976960095MaRDI QIDQ354136FDOQ354136

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• 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
• Title not available (Why is that?)
• Ü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
• Title not available (Why is that?)
• Truth and Probability
• 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)