Hacker News new | ask | show | jobs
by mehrdadn 2235 days ago
To clarify, "great implications" can mean "undecidability".