3 ms·
Naturally, if you give up Turing completeness, you can have excellent 100% verified results. Sometimes yeah, it's easier to prove things about simpler systems.
by PeCaN 11y ago
Naturally, if you give up Turing completeness, you can have excellent 100% verified results.
Sometimes yeah, it's easier to prove things about simpler systems.