[GigaMos]

Actually Penrose has the idea/argument from Lucas, which has been written in 1959 and published in 1961 : https://www.jstor.org/stable/3749270

[akkartik]

Interesting! http://www.iep.utm.edu/lp-argue

[acchow]

Ah, right. It's called the Lucas-Penrose argument.