idea

The “minds beat machines” side

J. R. Lucas (1961) made the original argument, and Penrose (1989, 1994) sharpened it: we can see that the Gödel sentence is true, so we are not a fixed rulebook.

Connects to

• reaches reality?
• the replies
• Lucas, Penrose
• Gödel

Sources

1. Wikipedia: Penrose–Lucas argument
2. Lucas, J. R. (1961). Minds, Machines and Gödel. Philosophy 36(137), 112–127.
3. Penrose, R. (1989). The Emperor’s New Mind. Oxford University Press.