出来了。
这里所说的发现定理都是指的再发现，即计算机所发现的东西是前人已经发现了的。因此有人就会认为计算机程序只能再发现而不能发现，或者说编程序的人已经知道了该科学发现，而把结果编进去了。对于这种误解，我们可以用这样的办法来加以消除。例如可以仔细考察程序的内容，看是否把一些有待发现的概念编入了程序。可以肯定地说，程序里并没有现成的有待发现的概念或定理。我们花了几个月的时间仔细地考察了一些程序，并没有发现AM系统里有哥德巴赫猜想之类的东西。我们给计算机的都是些基本概念，计算机本身并不知道人已经发现了某些原理。当然最有说服力的办法就是让怀疑的人自己去研究一下，试一试程序。另外，假若是在不久的将来，计算机确实发现了人类未能发现的东西，那就更有说服力了。
第八章 发现过程
263