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


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


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

Computer Science > Logic in Computer Science

Title: Incompleteness for stably consistent formal systems

Abstract: We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably $1,2$-consistent formal systems. Our argument in particular re-proves the original incompleteness theorems from first principles, using Turing machine language to (computably) construct our "G\"odel sentence" directly, in particular we do not use the diagonal lemma, nor any meta-logic, with the proof naturally formalizable in set theory. In practice such a stably consistent formal system could be meant to represent the mathematical output of humanity evolving in time, so that the above gives a formalization of a famous disjunction of G\"odel, obstructing computability of intelligence.
Comments: This is superseded by arxiv:2208.04752
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO); History and Philosophy of Physics (physics.hist-ph)
Cite as: arXiv:2001.07592 [cs.LO]
  (or arXiv:2001.07592v7 [cs.LO] for this version)

Submission history

From: Yakov Savelyev [view email]
[v1] Tue, 21 Jan 2020 15:04:15 GMT (29kb)
[v2] Wed, 5 Feb 2020 00:55:26 GMT (29kb)
[v3] Tue, 12 May 2020 16:47:08 GMT (29kb)
[v4] Tue, 4 Aug 2020 23:10:14 GMT (33kb)
[v5] Thu, 5 Nov 2020 18:22:25 GMT (36kb)
[v6] Wed, 19 May 2021 17:40:44 GMT (49kb)
[v7] Mon, 15 Aug 2022 16:37:50 GMT (0kb,I)

Link back to: arXiv, form interface, contact.