Unfortunately, just because a proof holds doesn’t mean the problem is solved. It just means that the proof proofs. The proof can still be utter nonsense if it isn’t structured properly and actually modeling the right thing. Moreover, even if it is a real proof, that doesn’t actually do anything for us until we understand it.
Edit history
Unfortunately, just because a proof holds doesn’t mean the problem is solved. It just means that the proof proofs. The proof can still be utter nonsense if it is an structured properly. Moreover, even if it is a real proof, that doesn’t actually do anything for us until we understand it.