栏目分类:
子分类:
返回
名师互学网用户登录
快速导航关闭
当前搜索
当前分类
子分类
实用工具
热门搜索
名师互学网 > 百科 > 知识 > 自然知识

关于弗雷格,(F.L.)G.介绍

关于弗雷格,(F.L.)G.介绍

[拼音]:Fuleige

[外文]: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.怀特海在《数学原理》中那样精详论证、充分展开逻辑主义的纲领(见数学基础),但弗雷格仍不失为逻辑主义的创始人之一。逻辑主义的主要代表人物罗素,甚为称颂弗雷格的工作。弗雷格晚年从事数学哲学和逻辑理论的研究。

转载请注明:文章转载自 www.mshxw.com
本文地址:https://www.mshxw.com/ask/816649.html
我们一直用心在做
关于我们 文章归档 网站地图 联系我们

版权所有 (c)2021-2022 MSHXW.COM

ICP备案号:晋ICP备2021003244-6号