證明的消亡

計算機正在改變數學家發現、證明和交流思想的方式，但是在這個美好的新世界中，絕對的確定性還有一席之地嗎？