| ▲ | groundzeros2015 2 hours ago | |||||||
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. | ||||||||
| ▲ | j16sdiz 2 hours ago | parent [-] | |||||||
> 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. | ||||||||
| ||||||||