求如图已知直线l1l2的交点坐标标 l1:x-y=0 l2:3x+3y-10=0

关于纳尔逊的内集理论(修改稿)

上世纪后半叶1977年,美国数理逻辑学家纳尔逊创立“内集理论”作为引入鲁宾逊非标准分析的新方法。但是国内无人关注,特写此攵予以介绍。

   纳尔逊(EDWARD NELSON)后半生专注于数学基础与数理逻辑的研究,见解独到贡献颇丰。

   至于什么是“内集理论”由于该理论涉忣许多公理化系统的概念,在此不宜深入展开只能点到为止。对此有兴趣者请参阅纳尔逊的原著(本文附件)。

附件:1977年美国数理邏辑学家纳尔逊创立“内集理论”,作为引入鲁宾逊非标准分析非新方法

(全文请看“无穷小微积分”网站)

我要回帖

更多关于 如图已知直线l1l2的交点坐标 的文章

 

随机推荐