Gödel's Incompleteness Theorems (2015)

Re:Gödel's Incompleteness Theorems (2015) by rb1 on Tuesday April 04, 2017 @12:04PM (#14034121)

Just chipping in with my interesting reading about the implications of Godel's incompleteness theorems.

This piece about what the theorem means for developing "deep AI" and the human mind, was a fascinating eye opener for me, about the far stretching implications of the theorem.

"The Lucas-Penrose Argument about Gödel's Theorem" - http://www.iep.utm.edu/lp-argue/

[ Parent | on HN ]

Re:Gödel's Incompleteness Theorems (2015) by clairity on Tuesday April 04, 2017 @03:58PM (#14036592)

penrose wrote a whole book walking through his argument around deep AI (and providing a gentle explanation of gödel's incompleteness theorem in the process): https://en.wikipedia.org/wiki/The_Emperor%27s_New_Mind

[ Parent | on HN ]