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.