Hacker News new | ask | show | jobs
by xelxebar 382 days ago
Indeed. Famously, though, figuring out if something is a tautology is undecidable!