7 ms·
You can perform a formal verification of an informal proof, like for example the ones in https://youtu.be/VYQVlVoWoPY https://youtu.be/VYQVlVoWoPY linked elseth
by layer8 2y ago
You can perform a formal verification of an informal proof, like for example the ones in https://youtu.be/VYQVlVoWoPY https://youtu.be/VYQVlVoWoPY linked elsethread. Of course, you have to come up with some formalization of what the informal proof is trying to claim, but it doesn’t mean that what you’re proving wrong must be a formal proof to start with.
- xpe 2y agoYes, I understand what you mean. We don't disagree on the substance.
- layer8 2y agoIt therefore makes sense to me (and represents actual usage of those terms) to say that some informal proof is formally wrong, meaning that translating its reasoning into a formal representation will reveal its incorrectness.