Utensil的专栏

编程范式：面向对象程序设计（C++、Java、Smalltalk）、函数式程序设计（Scheme、Haskell、ML）、逻辑式程序设计（Prolog）。 以拜伦之女Ada（历史上第一位程序员：分析机）命名的Ada。 FORTRAN（FORmula TRANslation） COBOL（公共的面向商业语言）——设计目的是使他人能够阅读程序元设计的程序，因而语法

可计算性的概念是一个非常重要和美丽的数学观念。它又是相当近代的，具有这样基本性质的事体进入数学的王国是本世纪三十年代的事。这个观念已经渗透到数学的所有领域中去（虽然这一点确实是真的，但是大多数数学家通常不去忧虑可计算性的问题）。该观念的威力有一部分来自于这一个事实，即数学中一些定义得很好的运算实际上不是可计算的（例如图灵机的停机问题；第四章还可以看到其他例子）。因为如果不存在这种不可计算的事体