What Computers Still Can't Do: A Critique of Artificial Reason一书介绍了他们对人工智能、专家系统的看法，还从哲学角度对专家和新手进行了观察分析。
第8章符号与符号处理
这一章名为“符号与符号处理”，实际是介绍计算机科学。计算机科学始于艾伦·图灵的图灵机研究（见On computablenumbers, with an application to the Entscheidungsproblem )。 有些学者推崇非符号形式的人工智能（例如文章Connectionist AI,symbolic AI, and the brain)，但他们实际谈论的依然是符号处理，只不过是在用数字代表符号（如符号代数中的例子)，而非使用非数字概念(如符号逻辑中的例子)。
这两个例子谈到的问题是计算机科学的核心，且非常有趣。一道题可以有多种解答方法，并且属性各不相同，计算机科学家花了大量时间和精力研究算法，即题的各种解答方法(参见Algorithmics: The Spirit of Computing) 。
在符号代数中，求解方程组的标准算法是高斯消元（GaussianElimination) (参见 Schaum's outline of theory and problems oflinear algebra)。其属性是，对于具有n个变量的n 个方程，通过大约 $\boldsymbol { \mathrm { n } } ^ { 3 }$ 步可以求得一个解。这就是说，即使方程组里有成百上千万个变量，依然能够解决。
注 释
185