证明的消亡

计算机正在改变数学家发现、证明和交流思想的方式，但是在这个美好的新世界中，绝对的确定性还有一席之地吗？