alt Hacker NewsThey care about if it’s true. But the role of the formal proof is a kind of spell checker or static analysis after they have the idea.
They care about if it’s true. But the role of the formal proof is a kind of spell checker or static analysis after they have the idea.
> They care about if it’s true.
Not always.
If it is NOT true, they sometimes simply play "what if" and construct a new system where it could be true.