俄罗数学家根据上世纪活半叶出版发行的数学文献(共计542篇)多年研提炼出一种“现代数学观”,事实其实,不容争辩。

注:现代数学观是什么(说法),请见本文附件。

袁萌 陈启清  4月28日

附件 :

Chapter 3

completely by the “stationary” set-theoretic view of a function as a set which prevails nowadays. “Itis aformal set-theoretic model of the intuitive idea of a function, a model that captures an aspect of the idea, but not itsfull signi cance” [133, p. 20]. We recall in this regard that if s,t∈[0,1] then  (s+ t)= s + t,  0=0 ,  1=1 ,

and, moreover,  t = 0 for allt in some interval [0,h], where h is a strictly positive real (every nonzero positive in nitesimal will do). The presence of such a “numerical”function is an outright contradiction or, to put it mildly, a harbinger of antinomy. Thesecircumstances callforclarifying, immediatelyandexplicitly,theconcepts and means we use as well as specifying the foundations we rest them on. Aswehavealreadymentioned, in nitesimalanalysisacquiresjusti cationwithin the set-theoretic stance. More exactly, it appears that the ideas of the naive nonstandard set theory we have presented above can be placed on the same (and so, equally solid) foundations as cantorian set theory or, strictly speaking, the axiomatic set theories “approximating the latter from below.” In order to bring into focus the relations between mathematical analysis and set theory, the following statements are worth comparing:

Analysis ... is the science of the in nite itself. Leibniz Mathematical analysis is just the science of the in nite. This old de nition lives through ages. Luzin SET THEORY, an area of mathematics which studies the general properties of sets, primarily, of in nite sets. The Great Encyclopedic Dictionary

Consequently, the very notion of the in nite intertwines analysis and set theory quite tightly. At the same time we should never forget that the classical articles by Cantor appeared two centuries after the invention of calculus.The attempt at grounding mathematics on set theory could be compared with a modern method of building erection, rack mounting, when a house is assembled starting with upper stores, “from attic to cellar.” By the way, this technology requires that the footing of the building to be erected has been laid before the rack mounting begins. Likewise, the initial footing of mathematical analysis is a product of the material and mental activities of mankind. The present-day mathematics leans its basic parts on set theory. In other words, the set-theoretic foundation has been  oated under the “living quarters” of mathematics. Only the future will reveal what is going to happen next. By Set-Theoretic Formalisms of In nitesimal Analysis

now we may just state that the process continues of erecting the edice of future mathem

atics and that this process is fraught with drastic changes. Aggravation of the state of

the art, collision of opinions, and a t struggle of ideas are faithful witnesses of rapid development. A collection of quoations to follow (far from claiming for completeness) will illustrate the process of polarization of views now in progress.

Pro Contra

After an initial period of distrust the newly created set theory made a triumphal inroad in all  elds of mathematics. Its in uence on mathematics of the present century is clearly visible in the choice of modern problems and in the way these problems are solved. Applications of set theory are thus immense. Kuratowski and Mostowski [254, p. v]

Itis claimed that the theory of sets is important for the progress of science and technology, while presenting one of the most recent achievements in mathematics. In actuality, the theory of sets has nothing to do with the progress of science and technology nor it is one of the most recent achievements of mathematics. Pontryagin [400, p. 6]

Part of the creation of Georg Cantor is, of course, set theory, and some of this is now taught in high school and earlier. This is another of the domains of mathematicsthat many persons thought could never be of the remotest practical use, and how wrong they were. Elementary sets even  nd their application in little collections of murder mysteries. Set theory has well-known connections with computer programs and these a ect an untold number of practical projects. Young [533, p. 102]

Mathematics, based on Cantor set theory, changed to mathematics of Cantor set theory.... Contemporary mathematics thus studies a construction whose relation to the real world is at least problematic.... This makes the role of mathematics as a scienti c and useful method rather questionable. Mathematics can be degraded to a mere game played in some speci c arti cial world. This is not a danger for mathematics in the future but an immediate crisis of contemporary mathematics. Vopˇenka [513] Concluding the preliminary discussion we emphasize that only now, after dispelling the illusion that it is possible to provide some  nal “absolute” foundation for in nitesimal analysis (as well as for the whole of mathematics) by the set-theoretic or whatever stance, we may proceed with exposing some available implementations of this project.

现代数学观,何处寻?相关推荐

  1. 数学机器人与火星人相遇了

    我们的数学机器人原本不认识火星人. 但是,今年五一节,他们两人驻在互联网上相遇了. 我们4人预祝大家节日愉快! 袁萌   陈启清  4月30日 附件: 现代数学观 Chapter 3        c ...

  2. 北海屠龙记------六

    衡岳云先开 策杖同攀金锁峡 洞庭叶未下 烟波初泛木兰船 赵霖.王谨二人因防二山女前往柳湖去寻不见人,派遣奇禽蛇兽等四出寻踪,开头一段甚是谨慎,途中遇见稍微奇怪猛恶一点的兽,便即隐避.及见前途快抵贵州, ...

  3. 数学史上的哲学绝唱——无穷观与数学基础的争论

    来源:<广西民族大学学报>2014年11月 作者:郭龙先,黄永 两千多年来,数学家们一直试图从少数公理出发,根据明确给出的演绎规则推导出其他数学定理,从而把整个数学构造成为一个严密的演绎大 ...

  4. VR创投寻鹰会,一场深圳VR行业人的大聚会

    10月29日下午,一场深圳VR行业人的大聚会在深圳产学园基地硬蛋空间成功举行. 10月29日下午2点,云岸金服联合远望资本.CIBN微视听.硬蛋科技.活动行.多有米等多家机构共同举办的VR创投寻鹰会在 ...

  5. 《课程的反思与重建--我们需要什么样的课程观》之学习体会

    <课程的反思与重建--我们需要什么样的课程观>之 学习<课程的反思与重建>心得体会<?xml:namespace prefix = o ns = "urn:sc ...

  6. [转载]寻 找 石 泉

    原文地址:寻 找 石 泉 作者:此石 寻 找 石 泉 作者  王晓群 提出<寻找石泉>,似乎有点怪怪的,用得着吗?石泉县是陕南重镇,北依秦岭秦.南枕巴山巴,一江汉水从中流过.素有" ...

  7. “探月计划”来袭,美国米德天文望远镜助孩子观月赏月

    ▲ 数据汪特别推荐 点击上图进入玩酷屋 孩子对于未知的世界充满了好奇,尤其是对于月亮,总是有问不完的问题. 例如月亮上是怎么样的?怎么很多人说十五的月亮十六圆? 月亮有动物吗?不是说有月兔吗?月亮怎么 ...

  8. 限时秒杀┃“探月计划”来袭,美国米德天文望远镜助孩子观月赏月

    ▲ 数据汪特别推荐 点击上图进入玩酷屋 孩子对于未知的世界充满了好奇,尤其是对于月亮,总是有问不完的问题. 例如月亮上是怎么样的?怎么很多人说十五的月亮十六圆? 月亮有动物吗?不是说有月兔吗?月亮怎么 ...

  9. mysql 安顺寻_夏日静心旅游路线,到安顺寻味乡愁吧

    安顺 一座让人流连忘返的城市 夏 日 静心旅游 寻味乡愁 夏季气温逐渐升高 闷热的空气让人"躁动" 那不妨到安顺来一场"静心"之旅 沿着安顺美丽乡村路线寻味乡愁 ...

最新文章

  1. Python重用父类方法和super的使用
  2. GDCM:MD5的测试程序
  3. SDOI2016 生成魔咒
  4. Golang 正在成为互联网大厂的主流编程语言!
  5. stm32 图像处理_假如STM32也有朋友圈
  6. 【UOJ575】光伏元件【网络流建图】【上下界网络流】【费用流】
  7. win 系统 32X- 64X 任意安装方法
  8. 清华博士后黄石生:深度神经网络实时三维重建和在线语义分割技术报告
  9. Leetcode 169 Majority Element
  10. 《WINDOWS黑客编程技术详解》勘误收集及软件下载
  11. MapGuide应用开发系列(11)----创建自己的第一个MapGuide应用程序
  12. FreeSWITCH之默认端口
  13. 迅雷下载遇到“应版权方要求无法下载”,怎么办
  14. 小米路由器管理员密码爆破!
  15. 技术博客对找工作有帮助吗?
  16. excel2016 for mac 二维表转一维表
  17. Tuscany是什么?为什么要用Tuscany命名SCA规范的实现?
  18. 李含光《C语言程序设计教程》答案第一——四章
  19. Python操作Excel:openpyxl读写基础
  20. 运营方案要包括哪些内容_施工招标项目技术方案编制的内容包括哪些?

热门文章

  1. 1.1 什么是弹性盒子?
  2. 常见开发相关变量命名词汇
  3. 5-40 奥运排行榜 (25分)
  4. 网站url后带spm参数的作用
  5. 《笨方法学PYTHON》——fourteenthlesson
  6. 《卡耐基三部曲》(Yanlz+VR云游戏+Unity+SteamVR+云技术+5G+AI+人性的弱点+人性的优点+语言的突破+术业有专攻+世界观+人生观+价值观+志同道合+不卑不亢+立钻哥哥++==)
  7. MinIO The access key ID you provided does not exist in our records
  8. contiki学习笔记(一)
  9. Python Flask Web教程024:实战:博客登录和注册页面实现代码
  10. 关于excel中的超长数字显示方法