4 ms·
> It is in fact extremely common to build wholly deterministic machines out of the same parts as our unreliable computers, that are correct by construction. It
by mkleczek 4y ago
> It is in fact extremely common to build wholly deterministic machines out of the same parts as our unreliable computers, that are correct by construction.
It is neither common nor easy but actually provably impossible. Please read this piece carefully:
https://pron.github.io/posts/correctness-and-complexity https://pron.github.io/posts/correctness-and-complexity
- ncmncm 4y agoYet, it is done, thousands of times every day, all over the world. You must be misunderstanding the work if you believe that what is being done routinely is impossible.
- mkleczek 4y ago> You must be misunderstanding the work if you believe that what is being done routinely is impossible. Quite possibly I don't understand what you mean by "work". If by "work" you mean creating provably correct software then no, it is not done routinely.
- ncmncm 4y agoThe work is the paper you cited. People create wholly deterministic state machines all the damn time.