發送短信: Proof and knowledge in mathematics