3 ms·
...Also I think you don't realize that formal inductive proofs can easily reason about programs operating with unbounded memory.
by h91wka 7y ago
...Also I think you don't realize that formal inductive proofs can easily reason about programs operating with unbounded memory.
- wolfgke 7y agoWith formal inductive proofs, you can reason, but not decide.