Hacker News new | ask | show | jobs
by plagiarist 125 days ago
Professors should be careful to choose definitely undecidable problems to joke around with, lest they encounter a George Dantzig character.