哥德尔对非标准分析的评价

众所周知,现代无穷小微积分是数学与逻辑的“混血儿”,有人“斜眼”看待他(她)。

上世纪伟大数学家哥德尔的的看法则不然。

有兴趣的读者,请见本文附件。

袁萌  陈启清  元月6日

附件;根据文献记载,哥德尔认为:

Kurt Godel, for example, believed that Robinson more than anyone else had succeeded in bringing mathematics and logic together, and he(哥德尔) praised(赞扬了) Robinson's creation of nonstandard analysis for enlisting(把…融合到…之中) the techniques of modern logic to provide rigorous foundations for the calculus using actual infinitesimals(实在无穷小).

你可能感兴趣的:(哥德尔对非标准分析的评价)