Hacker News

Favorites Setup
Comment by manmal | original | Grieving the loss of details
[−]manmal · 2026-10-11 Sun 11:21 UTC · link
> fully defining a deterministic check is the same as finding them all

That’s like saying mathematics is worthless and we have to resort to finger counting?

[−]RugnirViking · 2026-10-11 Sun 12:19 UTC · link
No? It's like saying "why bother doing maths, a calculator can figure out the solution to any question you have if you just put the right equation in" there might be more to maths, it turns out. Most of it lying inside of finding "the right equation"