Hacker News new | ask | show | jobs
by bawolff 469 days ago
To be more clear, i'm saying it is not undecidable in the sense that mathematicians use the term.