News for hackers. Stuff that matters.

A comment on 1931: Kurt Gödel shows limits of math, logic, computing, AI. Parent comment

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by alok-g on Friday June 18, 2021 @10:04AM (#27550445)
Penrose's argument linking consciousness to Godel's theorems makes little sense to me.

https://en.m.wikipedia.org/wiki/Penrose–Lucas_argument

Thanks for answering my question. I am guessing that neither book would explaim the proof in detail.

[ Parent | on HN ]

There are no comments on this comment yet.