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.怀特海在《数学原理》中那样精详论证、充分展开逻辑主义的纲领（见数学基础），但弗雷格仍不失为逻辑主义的创始人之一。

逻辑主义的主要代表人物罗素，甚为称颂弗雷格的工作。

弗雷格晚年从事数学哲学和逻辑理论的研究。