随着计算机日益广泛而深刻的运用,计算这个原本专 门的数学概念已经泛化到了人类的整个知识领域,并 上升为一种极为普适的科学概念和哲学概念,成为人 们认识事物、研究问题的一种新视角、新观念和新方 法。 ·在大众的意识里,让算首先指的就是数的加减乘 除,其次则为方程的求解、函数的微分积分等; ˇ懂的多一点的人知道,计算在本质上还包括定理 的诳明推导。可以说,“计算”是一个无人不知 元人不晓的数学概念, 事实上,直到1930年代,由于哥德尔 K Godel, 1906-1978)、丘奇( A Church,1903-1995)、图灵 (AM. TUI-ing,1912-1954)等数学家的工作,人们才 弄清楚什么是计算的本质,以及什么是可计算的、什 么是不可计篁的等根本性问题。22 随着计算机日益广泛而深刻的运用，计算这个原本专 门的数学概念已经泛化到了人类的整个知识领域，并 上升为一种极为普适的科学概念和哲学概念，成为人 们认识事物、研究问题的一种新视角、新观念和新方 法。 • 在大众的意识里，计算首先指的就是数的加减乘 除，其次则为方程的求解、函数的微分积分等； •懂的多一点的人知道，计算在本质上还包括定理 的证明推导。可以说，“计算”是一个无人不知 元人不晓的数学概念， 􀂄 事实上，直到1930年代，由于哥德尔K.Godel， 1906-1978）、丘奇(A.Church，1903-1995)、图灵 (A.M.TUI-ing，1912-1954)等数学家的工作，人们才 弄清楚什么是计算的本质，以及什么是可计算的、什 么是不可计算的等根本性问题