We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO
< prev | next >
new | recent | 1604

Change to browse by:

math

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Authors: Ka-Yue Cheng
(Submitted on 12 Apr 2016)
Abstract: According to Chaitin, G\"odel once told him "it doesn't matter which paradox you use [to prove the First Incompleteness Theorem]". In this paper I will present a few infinitary paradoxes and show how to "translate" them to some undecidable sentences in Peano arithmetic, like what G\"odel did to the Liar paradox. The results partly verify G\"odel's claim.
Comments: 10 pages
Subjects: Logic (math.LO)
MSC classes: 03F40
Cite as: arXiv:1604.03452 [math.LO]
  (or arXiv:1604.03452v1 [math.LO] for this version)

Submission history

From: Ka Yue Cheng [view email]
[v1] Tue, 12 Apr 2016 15:41:50 GMT (9kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.