Hacker News new | ask | show | jobs
by aristofun 1341 days ago
How and why does a specific contradiction "coll_conj and ¬coll_conj" apply to all possible conjectures?