莱布尼茨三百年数学手稿:微积分之外,更有超越时代的伟大思想

这开始于19世纪后期由戈特洛布·弗雷格(GottlobFrege)和朱塞佩·佩亚诺(GiuseppePeano)等人所做的现代数理逻辑的工作。最近,我在创建Mathematica和Wolfram语言的过程中也遇到了这个问题。这种情况也发生在三个世纪前的莱布尼茨身上。据我推测,莱布尼茨在数学上的成功,很大程度上要归功于他在符号学上所做的努力...

莱布尼茨三个世纪前留下的数学手稿中,除了微积分,他伟大的思想竟...

这开始于19世纪后期由戈特洛布·弗雷格(GottlobFrege)和朱塞佩·佩亚诺(GiuseppePeano)等人所做的现代数理逻辑的工作。最近,我在创建Mathematica和Wolfram语言的过程中也遇到了这个问题。这种情况也发生在三个世纪前的莱布尼茨身上。据我推测,莱布尼茨在数学上的成功,很大程度上要归功于他在符号学上所做的努力,以及符号...

弗雷格的逻辑主义与解释的分析之意义

Frege'sLogicismandtheSignificanceofInterpretiveAnalysisAbstract:InthispaperIshallexplaintheideaofinterpretiveanalysisthatIseeasacharacteristicofonecentralstrandofanalyticphilosophy.ThestrandoriginatedinthelogicistprojectofGottlobFregeandwasfurtherdevelo...

哲学始终与其它学科关系密切,是对知识的深刻追求

数学物件,例如直线、函数等等不过是性质、概念、类等逻辑概念的组合。19世纪时期哲学方面有维根斯坦(LudwigWittgenstein)、罗素(BertrandRussell)和费雷格(FriedrichLudwigGottlobFrege)等人将数学约化成逻辑主义。如前期的维根斯坦,更排斥形而上学的讨论,主张逻辑实证主义,提出分析哲学。20世纪,科学只取数学的应用部...

所罗门:分析哲学毁了哲学吗?

弗里德里希·路德维希·戈特洛布·弗雷格(FriedrichLudwigGottlobFrege,1848—1925),德国数学家、逻辑学家和哲学家,数理逻辑和分析哲学的奠基人。早年在耶拿大学和哥廷根大学学习数学、物理、化学和哲学,1873年获博士学位后在母校耶拿大学任教,直至退休,主要著作有《算术基础》(1884)、《涵义与指称》(1892)等。