那么多可能继续的棋步，甚至理想的计算机也不可能在200亿年的时间内把所有棋步都考虑进去。1981年，美国耶鲁大学的戴维·利希滕斯坦和以色列的数学家艾维兹里·弗伦克尔证明了对于足够大的棋盘也没有更快的程序。换句话说，耗时的穷举搜索程序没有简捷的方法。这种下棋问题，即使我们知道已有解法，也总是会使计算机的分析落空。

    下面4章，我们将从理论和实践两个方面考虑计算机的能力与局限性。