Hacker News new | ask | show | jobs
by jdkee 1252 days ago
Gödel springs to mind.

See https://www.newyorker.com/magazine/2005/02/28/time-bandits-2