Hacker News new | ask | show | jobs
by ramoz 155 days ago
Right. It might be even as complicated as requiring theoretical solutions or advancements of Rice's and Turing's.