刚刚翻了一下王垠的博客，发现一篇博文“丘奇和图灵”
http://www.yinwang.org/blog-cn/2013/07/13/church-turing/发现他又在show优越感和自以为是了。
他所谓的“发现”可以用Lambda calculus实现通用图灵机、证明停机问题不可计算、以及解释所有计算理论的定理等，这些东东根本就是早就在Church的paper中提出了的。
当年Church受到罗素在Principia Mathematica中提出的函数理论的启发，发明了lambda calculus，并首先证明了存在一个不可计算问题（lambda term的等价性不可在lambda calculus系统中判定）；然后收了Turing做博士生，然后Turing才发表了那篇重要的论文On computable numbers...，提出了图灵机；接下来Turing和Church又相继发表了几篇论文证明了图灵机和Lambda演算的等价性。在那一系列论文中，Church和Turing早就证明了王垠的所谓“发现”。
至于后来一系列的Lambda calculus教科书中，这些东西都是最基本的东西，也就是课后习题的难度。
当然，国内目前没有比较好的lambda演算教科书，国外的教科书又比较老，只有Barendregt的那本百科全书比较详细。
另外，王垠不能理解为何图灵机在计算理论中占据如此高的地位，是因为他没有真正理解Church-Turing Thesis。事实上，Church的Lambda演算是从代数变换的角度出发描述“计算”过程；而Turing的图灵机是从模拟人用纸笔做计算的角度出发描述计算过程。更重要的是，是Turing而不是Church首先提出了图灵机就可以描述一切“机械”计算过程。所以在目前而言，大家普遍相信，所有人类可通过机械过程进行计算的函数集合，恰好等于图灵机可计算的函数集合。或者换句话说，图灵机定义了什么叫做“计算”或“算法”。
至少接近一百多年来的科研实践证明，人类目前所能想到的计算方式，都没有脱离图灵机的计算能力。无论是光学计算、DNA计算、量子计算、甚至广义的物理计算，都无法超越图灵机的计算能力（当然，这是指可计算性，而非计算速度）。
事实上，图灵机的代表了人类通过有限步骤进行计算的能力的极限。这个极限很难被打破，除非物理世界存在真正的无穷和连续性。否则，只要我们的宇宙是有限的，物理量是离散的（目前的理论表明所有的物理量，包括能量、时间、空间都是量子化的，即离散的），那就不可能超越图灵机。
正是在这个意义上，Turing才被认为是最伟大的计算机科学家。