A. TURING----论可计算数及其在判定问题中的前应用(On Computable Numbers, with an Application to the Entscheidungs problem)这是一篇古怪的文章。作者先定义了一种我们绝对都没有见过的计算装置，然后开始推导----有一些数，用这个计算装置是不可算的----我也不是特别能够跟得上那些多余的复杂的形式化步骤。以我看来，对于任何构造的计算装置都只有两种可能：要么数太大，不能用机器表达，这个结论当然很明显，要么,机器不能计算这些数仅仅就是因为机器崩溃了( a machine that can’t compute them is simply broken!)。任何制表机(tabulating machine)都只能计算其表达范围以内的值。任何一个数，都可以通过反复使用四则运算来计算，现在的制表机都可以完成这样的计算，因为它们都有四则运算的硬连线，而不像作者提出的这种机制古怪的计算装置。不过似乎，图灵在文章中提出的这种改进根本不是针对现有技术的。我很怀疑，如此简单的计算装置，能有什么用。
如果同意接受这篇文章，图灵应该注意，此杂志是英文的，请相应的改变一下标题的文字。
没有评论:
发表评论