推理计算过程_计算机起源的数学思想之弗雷格的突破与绝望

弗雷格的一生主要发表了这样三本著作：《概念演算--一种模仿算术语言构造的纯思维的符号语言》(1879)、《算术的基础--对数概念的逻辑数学研究》(1884)《算术的基本规律》(l卷 1893，2卷1903)。 其中概念演算，将普通数学中的一切演绎推理都包含在内，成为第一个完备的逻辑体系。布尔以普通代数为基础，用代数符号来表示逻辑关系。与此相反，弗雷格想以他的逻辑为基础而把代数构造出来。实际上这成为日后一个重要的学派"逻辑主义",在他们看来逻辑与数学的关系就像一门学科的基本部分和高等部分之间的关系。 弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言的前身。 弗雷格希望可以自然数提出一种纯粹逻辑的理论，从而证明算术，微积分乃至一切数学都可以看成逻辑的一个分支。于是弗雷格便希望可以用纯逻辑的术语来定义自然数，然后再用他的逻辑导出它们的性质。例如3这个数将被解释为逻辑的一部分。弗雷格的思想是把3定义为所有元素数为3的集合的集合。实际上这就是《算术的基础--对数概念的逻辑数学研究》这部著作的主要内容。 然而正是这样的一些工作，1902年，年轻的伯特兰.罗素据此提出那个著名的罗素悖论。弗雷格的算术使用了集合的集合这样一种概念。罗素指出，用集合的集合进行推理很容易导致矛盾。罗素的悖论可以这样描述：如果一个集合是它自身的一个成员，那么就把集合成为异常的，否则它就是正常的。那么由所有正常集合组成的集合是正常还是异常的呢？ 如果是正常的，那么它应该包含自身，这样它就应该是异常的。如果是异常的，那么它就不会包含自身，这样它就应该是正常的。无论哪个结果都导致了矛盾。实际上罗素构造这个悖论的方法，与之后哥德尔，图灵构造不可判定命题却有着神似的地方。然而这一矛盾却表明弗雷格构造的算术体系所基于的那些前提是靠不住的，并给弗雷格带来了巨大的打击。 虽然弗雷格的逻辑已经很完备，但仍然具有一些局限性。他的规则并没有提供判定某个结论能否从给定的前提中推导出来的计算步骤。另外能否找到一种计算方法，它能够说明在弗雷格的逻辑中某一推理是正确的呢？其结果是这样一则证明：没有这样的一般方法存在。然而正是在证明这样一条否定性的结论过程中，阿兰图灵发现原则上可以设计出一种通用机，它可以执行任何可能的计算。 弗雷格的研究开启语言哲学的大门，后来人们在寻找证明逻辑推理正确性的过程中，图灵发现了通用机，也就是今天计算机的数学模型。