> create proofs to convince others Well, it is not only about people. You would also want to "convince" Nature (so that the aircraft you designed does not cras

> create proofs to convince others Well, it is not only about people. You would also want to "convince" Nature (so that the aircraft you designed does not crash right after a takeoff), your own or, often, someone else's wallet (so that money is not spent on nothing).