历史百科网

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

严正声明:本文由历史百科网注册或游客用户嘉茂自行上传发布关于» 弗雷格,(F.L.)G.的内容,本站只提供存储,展示,不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益,请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议,尊重和保护作者的劳动成果,转载请标明出处链接和本声明内容:作者:嘉茂;本文链接:https://www.freedefine.cn/wenzhan/133512.html

赞 ()

相关阅读

我是一个广告位
留言与评论(共有 0 条评论)
   
验证码: