Hacker News new | ask | show | jobs
by daef 481 days ago
I know that \exists undecidable statements, I just don't know if this specific statement is decidable...