tag:blogger.com,1999:blog-6672880129970799148.post1421624618433058508..comments2023-08-22T07:01:08.590-07:00Comments on Agent Intellect: Gödel and mechanismJim S.http://www.blogger.com/profile/15538540873375357030noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-6672880129970799148.post-54594102444945655942013-12-13T21:07:02.471-08:002013-12-13T21:07:02.471-08:00I agree that the situation is not bleak. The artic...I agree that the situation is not bleak. The article suggests that there is a general consensus on <i>what</i> is wrong with the Godelian argument, but actually there is widespread disagreement. Moreover, the argument is completely beholden to Turing: it needs Turing's "On Computable Numbers" to show that any mechanistic system is analogous to a purely deductive (thus formal) system, which therefore has no room for non-formalizable concepts, or any non-deductive form of reasoning like induction, abduction, or intuition. And Lucas cites Turing's "Computing Machinery and Intelligence" as a <i>predecessor</i> to his argument, as Turing argues there that the human mind is different (not "better") than any mechanistic system.Jim S.https://www.blogger.com/profile/15538540873375357030noreply@blogger.comtag:blogger.com,1999:blog-6672880129970799148.post-62372942786331236452013-12-11T04:00:16.599-08:002013-12-11T04:00:16.599-08:00The encyclopedia article cites Turing's refuta...The encyclopedia article cites Turing's refutation of the Goedelian argument against mechanism but omits to say that Lucas has replied to all of Turing's points. The situation is not bleak. See also Jaki's Mind, Brains and Computers. He also replies to Turing. <br /><br />Curiously, Douglas Hofstadter uses Goedel to argue for a self-referential artificial intelligence. Thus, he accepts that there is a self-referential loop but assumes that this loop may be utilized for the AI. Gyanhttps://www.blogger.com/profile/09941686166886986037noreply@blogger.com