数学对象的计算机搜索

一个简单而基本的事实是:在未来的几十年以至几个世纪内,电子计算机与其说将影响数学的全部,不如说将影响其中被认为是重要的部分。