好书网为大家整理了经典好书《计算进化史》中的经典语录,精彩段落及优美句子,重读经典,感悟人生。让读者沉浸在自己的阅读世界里,忘记周围的世界, 与作者一起在另外一个世界里快乐、悲伤、愤怒、平和,欢迎大家阅读~
我们吃惊地发现,许多公理都可以用计算规则代替。这让我们隐约看到一种新研究计划的曙光:在谓词逻辑中,证明由公理和演绎规则构成;在演绎模中,证明则由公理、演绎规则和计算规则构成。为什么不能更进一步,去掉公理,仅仅用演绎规则和计算规则来构造证明呢?