しかし、マッカーシーと彼の学生達が60年代後半に試みたように、直接的な実装は非常に困難だった。
然而，根据60年代末McCarthy和他的学生们的工作，对这一想法的直接实现具有极高的计算复杂度：即使是证明很简单的定理也需要天文数字的步骤。