Hacker News new | ask | show | jobs
by aaachilless 2862 days ago
Contrarily, I'd say that these questions were picked precisely because the author understands the profound difficulty we've encountered in the pursuit of formalizing them. Also, at least one of the other questions has a very precise formulation (number 2).