この資料をSMS送信: Concepts of proof in mathematics, philosophy, and computer science /