How do We Know that the Godel Sentence of a Consistent Theory Is True?

DOI10.1093/PHILMAT/NKQ028zbMath1282.03024OpenAlexW2040130276MaRDI QIDQ4910215

György Serény

Publication date: 18 March 2013

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/nkq028

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ?

This page was built for publication: How do We Know that the Godel Sentence of a Consistent Theory Is True?