G.弗雷格

来自中文百科,文化平台
跳转至: 导航搜索

G.弗雷格,(Friedrich Ludwig Gottlob Frege),德国数学家、逻辑学家。

弗雷格1848年11月8日生于德国维斯马,1925年7月26日卒于巴德克莱茵。1873年毕业于格丁根大学,获博士学位。1874年起即在耶拿大学任讲师,1879年任教授,1918年退休。在耶拿大学执教的四十余年间,致力于数学基础、数学哲学和逻辑理论的研究。

弗雷格于1879年出版了《概念语言》一书,所谓“概念语言”是一种表意语言,用它进行推理最易于察觉隐含的前提和有漏洞的步骤。由于弗雷格认为算术定理可由纯逻辑规律出发证得,为了保证推理过程的绝对严格性,他特地建立了这一符号语言。他成功地引入了数学中的函数概念,建立了量词理论。这样就构作了一种基本自足的逻辑演算即一阶谓词演算。从而给出了历史上第一个严格的关于逻辑规律的公理系统。

嗣后,他又出版了《算术基础》(1884)和《算术的基本规律》(卷I,1893;卷Ⅱ,1903)。在这些著作中他首创从逻辑出发来定义数和自然数,并从逻辑规律出发推导出一系列算术定理。尽管弗雷格明确地提出了数学可以化归为逻辑的思想,但没有全面地进行从逻辑推导数学的研究,因而他未能象B.A.W.罗素A.N.怀特海在《数学原理》中那样精详论证、充分展开逻辑主义的纲领(见数学基础),但弗雷格仍不失为逻辑主义的创始人之一。逻辑主义的主要代表人物罗素,甚为称颂弗雷格的工作。弗雷格晚年从事数学哲学和逻辑理论的研究。