【拼音】:Fuleige

【外语】:弗里德里希·路德维希·戈特洛布·弗雷格 (Friedrich Ludwig Gottlob Frege) (1848~1925)

弗雷格,(F.L.)G.,德国数学家,逻辑学家。 1848年11月8日出生于德国维斯马,1925年7月26日卒于巴特克莱因。1873年毕业于格丁根大学,获博士学位。他从1874年在耶拿大学担任讲师到1879年教授,并于1918年退休。在耶拿大学任教的40多年中,他致力于数学基础、数理哲学和逻辑理论的研究。

弗雷格于1879年出版了《概念语言》书。所谓“概念语言”,是一种表意语言。在用它进行推理时,最容易检测到隐含的前提和有缺陷的步骤。由于弗雷格认为算术定理可以根据纯粹的逻辑规律来证明,为了保证推理过程的绝对严谨性,他专门建立了这种符号语言。他成功地将函数的概念引入数学并建立了量词理论。这样就构造了一个基本上自足的逻辑演算,即一阶谓词演算。由此给出了历史上第一个关于逻辑规律的严格公理体系。后来,他出版了《算术基础》(1884年)和《算术的基本规律》(第一卷,1893年;第二卷,1903年)。在这些著作中,他首先根据逻辑定义了数和自然数,并根据逻辑定律推导出了一系列算术定理。弗雷格虽然明确提出了数学可以化为逻辑的思想,但他并没有对逻辑衍生数学进行全面的研究。因此,他未能像 B.A.W. 那样精确、充分地进行演示。拉塞尔和 A.N.怀特海在《数学原理》中提出了逻辑主义的纲领(见《数学基础》),但弗雷格仍然是逻辑主义的创始人之一。逻辑主义的主要代表罗素对弗雷格的著作给予了高度评价。弗雷格晚年从事数理哲学和逻辑理论的研究。