News for hackers. Stuff that matters.

A comment on What were Einstein and Gödel talking about? (2005). Parent comment

Re:What were Einstein and Gödel talking about? (2005) by akkartik on Thursday October 13, 2016 @11:45AM (#12701514)
It's by Roger Penrose: https://en.wikipedia.org/wiki/The_Emperor's_New_Mind
[ Parent | on HN ]
Re:What were Einstein and Gödel talking about? (2005) by GigaMos on Thursday October 13, 2016 @03:51PM (#12703501)
Actually Penrose has the idea/argument from Lucas, which has been written in 1959 and published in 1961 : https://www.jstor.org/stable/3749270
[ Parent | on HN ]
Re:What were Einstein and Gödel talking about? (2005) by akkartik on Thursday October 13, 2016 @03:56PM (#12703543)
Interesting! http://www.iep.utm.edu/lp-argue
[ Parent | on HN ]
Re:What were Einstein and Gödel talking about? (2005) by acchow on Thursday October 13, 2016 @06:21PM (#12704595)
Ah, right. It's called the Lucas-Penrose argument.
[ Parent | on HN ]