Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Turing analogues of Gödel statements and computability of intelligence
(Submitted on 21 Jan 2020 (this version), latest version 15 Aug 2022 (v7))
Abstract: We show that there is a mathematical obstruction to complete Turing computability of intelligence. This obstruction can be circumvented only if human reasoning is fundamentally unsound. The most compelling original argument for existence of such an obstruction was proposed by Penrose, however G\"odel, Turing and Lucas have also proposed such arguments. We first partially reformulate the argument of Penrose. In this formulation we argue that his argument works up to possibility of construction of a certain G\"odel statement. We then completely re-frame the argument in the language of Turing machines, and by partially defining our subject just enough, we show that a certain analogue of a G\"odel statement, or a G\"odel string as we call it in the language of Turing machines, can be readily constructed directly, without appeal to the G\"odel incompleteness theorem, and thus removing the final objection.
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.