On: The Mathocalypse

[pasquinelli]

but do you know that what was proved is what you want proved. this is the basic problen with formal verification.

so then, if you don't understand the proof, how do you know it's a proof?