Hacker News new | ask | show | jobs
by jibal 11 days ago
There are mathematical statements that have been shown to be undecidable (no proof for or against is possible) and such a demonstration is a huge deal.