《逻辑的引擎》简解

《逻辑的引擎》简解

by：kangtian0

       作者：Davis         Church的博士生          Church也是Turing的博士论文导师

 

Davis计算机领域杰作：《可计算性与不可解性》

 

1         Hilbert的生平说明了就算目标被推测是错误的，也可以通过证明其错误本身来体现可能更多的价值。

2         任何人都可能会犯错误，Turing也有过错误的观点，不过是很细微的而已。

3         任何驳斥需要有可靠的证据。否则这个驳斥的价值何在呢？

4         急功近利是错误的，特别是基础理论上的东西。

5         思想比时间更影响深远，实践才能证明思想的正确性。

6         逻辑发展的概况，通俗读本。

 

我本人的感觉：我对其反证赛尔的论证极为欣赏，对其尾声中对理论的推崇极为赞同，这个观点也是我一直坚持的。

 

一个小瑕疵：中译本书脊上的作者国名写错了。