Vollmer G
Seminar für Philosophie der Technischen Universität, Braunschweig, FRG.
Naturwissenschaften. 1991 Dec;78(12):533-42. doi: 10.1007/BF01134445.
In order to say something substantial about the fundamental limits of machines (especially of computers) and of human calculations, we must explicate the concept of algorithm. Such an explication is provided by the Turing machine. Thus, problems have been discovered which cannot be solved algorithmically. For other problems there are problem-solving procedures, but no elegant algorithms. That men are fundamentally superior to machines has not been shown as yet.
为了深入探讨机器(尤其是计算机)和人类计算的基本局限性,我们必须阐明算法的概念。图灵机为这一概念提供了阐释。因此,人们发现了一些无法通过算法解决的问题。对于其他问题,虽然存在解决问题的程序,但却没有精妙的算法。然而,人类在本质上优于机器这一点尚未得到证实。