A math theorem was once used to argue no computer could ever think exactly like you

In 1961, philosopher J. R. Lucas argued that Gödel's incompleteness theorem shows a human mind can recognise truths that no fixed set of mechanical rules can prove about itself — meaning minds can't simply be rule-following formal systems like a computer program. Physicist Roger Penrose revived and extended the argument decades later in 'The Emperor's New Mind,' though most logicians and AI researchers consider the argument flawed.

— J. R. Lucas, Minds, Machines and Gödel — Philosophy, Vol. 36, No. 137, 1961; extended by Roger Penrose, 1989

One credited idea per card. No filler. Swipe the rest in Savvy.

Keep swiping — it's free Works right in your browser. No app store needed.

More Philosophy

All Philosophy cards →

Five ideas worth knowing, every week

The week's best cards and a puzzle, credited as always. Free, unsubscribe any time.