词条 | 弗雷格,(F.L.)G. |
释义 | Fuleige 弗雷格,(F.L.)G.(卷名:数学) Friedrich Ludwig Gottlob Frege (1848~1925) 德国数学家、逻辑学家。1848年 11月8日生于德国维斯马,1925年7月26日卒于巴德克莱茵。1873年毕业于格丁根大学,获博士学位。1874年起即在耶拿大学任讲师,1879年任教授,1918年退休。在耶拿大学执教的四十余年间,致力于数学基础、数学哲学和逻辑理论的研究。 弗雷格于 1879年出版了 《概念语言》一书,所谓“概念语言”是一种表意语言,用它进行推理最易于察觉隐含的前提和有漏洞的步骤。由于弗雷格认为算术定理可由纯逻辑规律出发证得,为了保证推理过程的绝对严格性,他特地建立了这一符号语言。他成功地引入了数学中的函数概念,建立了量词理论。这样就构作了一种基本自足的逻辑演算即一阶谓词演算。从而给出了历史上第一个严格的关于逻辑规律的公理系统。嗣后,他又出版了《算术基础》(1884)和《算术的基本规律》(卷I,1893;卷Ⅱ,1903)。在这些著作中他首创从逻辑出发来定义数和自然数,并从逻辑规律出发推导出一系列算术定理。尽管弗雷格明确地提出了数学可以化归为逻辑的思想,但没有全面地进行从逻辑推导数学的研究,因而他未能象B.A.W.罗素和A.N.怀特海在《数学原理》中那样精详论证、充分展开逻辑主义的纲领(见数学基础),但弗雷格仍不失为逻辑主义的创始人之一。逻辑主义的主要代表人物罗素,甚为称颂弗雷格的工作。弗雷格晚年从事数学哲学和逻辑理论的研究。 |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。