[rb1]

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/

[clairity]

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