3 ms·
Even if you've got a formal proof, you need to keep aware of weaknesses, they might be in your proof, or even outside it.
by wwwhizz 14y ago
Even if you've got a formal proof, you need to keep aware of weaknesses, they might be in your proof, or even outside it.
- mistercow 14y agoThat's true. Proofs rely on assumptions, and in the real world, those assumptions may hold in all cases. Failing to recognize that will lead you to thinking very silly things, like that that Gödel's incompleteness theorems have deep philosophical implications.