弗雷格

来自中文百科专业版
跳转至: 导航搜索

  弗雷格(1848~1925)(汉语拼音:Fu lei ge;英语:Frege,Friedrich Ludwig Gottlob),德国数学家,逻辑学家。1848年11月8日生于维斯马,1925年7月26日卒于巴德克莱茵。1873年毕业于格丁根大学,获博士学位。1874年起即在耶拿大学任讲师,1879年任教授,1918年退休。弗雷格在1879年出版的《概念语言》一书中,成功地引入了数学中的函数概念,建立了量词理论。这样就构作了一种基本自足的逻辑演算即一阶谓词演算。从而给出了历史上第一个严格的关于逻辑规律的公理系统。嗣后,他又出版了《算术基础》和《算术的基本规律》。在这些著作中他首创从逻辑出发来定义数和自然数,并从逻辑规律出发推导出一系列算术定理。