C231 「証明は死んだ」のか?

抄録

昨年「証明は死んだか]?というショッキングな論文が出た。その後反論も出ている。どうやら死んだのは「形骸化したBourbaki」「肥大しすぎた形式主義」であるらしい。 これはむしろ「数学の正常化」のために喜ぶべき現象であろう。コンピュータという強力な道具は、教育・研究のために活用すべき良き助手であり、敵視する侵入者ではない。