火星人的数学观(4)

请看下面相片:

这是火星人的故乡,缺水多沙,十分荒芜,而我们的地球,多水少沙,充满生机。

什么是无限?地球人的想法与火星人不同。地球人觉得,无限在有限之外,比方,直线能够无限制地延伸。火星人觉得,无限在有限之内,比方,一堆沙子的颗粒总是有限的,可是,你却数不尽。火星人意识到这样的无限性,在有限的里面存在无限性。

在火星人的数学观念里面,曲线段能够无限制地切割下去,切割成无限多的无限小的”直线段“。也就是说,曲线段是由无限小的直线段组成的,而不是由无限的几何点组成。

在地球人的眼里,火星人太野蛮了,连曲线的观念都糊里糊涂,其数学观念自然落后不堪了。地球人与火星人,他们的数学观念究竟谁更正确?

我们能够相见,火星人的数学一定有些”异样“,古里古怪。比方,直线与曲线相切,相切于一”几何点“,还是相切于一个无限小的直线段?假设是后者,那么,火星人的微积分肯定不同于我们地球人。麻烦来了。

等我的火星人朋友从美国回京之后,我与它商议一下,看看怎么向我们地球人介绍火星人的数学。

时间: 2024-10-08 18:58:12

火星人的数学观(4)的相关文章

火星人的数学观

上世纪70年代,奥地利数理逻辑学家哥德尔(Kurt Friedrich G?del,1906-1978)曾经说过: "There are good reasons to believe that nonstandard Analysis, in some version or others,will be the analysis of the future",意思是:有许多好的理由使人门相信,非标准分析是未来的数学分析. 大家知道,非标准分析(NSA)引入了超实数系(Hyoerrea

火星人的数学观(3)

火星人依稀记得,人类的数学启蒙开始的很晚.1901年,英国数学家罗素(Bertrand Russell1872-1970),发现了朴素集合论中的悖论(Paradox).1908年,Ernst Zermelo(1871-1953)提出用集合论公理体系将Russell悖论除去.波兰数学学派奠基人Alfred Tarski(1901-1983)进一步发展了集合论的公理化体系.Tarski的高徒H.Jerome Keisler教授在1976年发表了世界上第一部基于超实数无穷小的微积分学教程. 记得,我曾

火星人赞同马克思的”客米拉“(Chimera)数学观

按照预定计划,在昨天圣诞节期间,火星人拜会J.Keisler教授,请教无穷小微积分学问题.阅读此文,请参见:马克思为何拒绝极限论?(2014年1月4日发表)与马克思研究微积分学的辩证沉思录(2014年1月6日发表). 什么叫"客米拉"(Chimera)数学观?在1983年英译版<马克思数学手稿>中,马克思在论述导数概念时,有这样一段话: "The closely-held belief of some rationalising mathematicians th

Kolmogorov 的数学观与业绩

https://www.douban.com/group/topic/11395706/ 作者:伊藤清 当我得知苏联伟大的数学家,84岁的 Andreyii Nikolaevich Kolmogorov 教授于1987年10月20日离开人世时,我感到像是失去了支柱那样悲哀与孤寂.在我还是学生时(1937年)读了他的名著<概率论的基本概念>之后,便立志钻研概率论,并持续了50年之久.对于我来说,Kolmogorov 就是我的数学基础. 我与 Kolmogorov 教授仅会过 3 次面.第一次是1

一些对数学领域及数学研究的个人看法(转载自博士论坛wcboy)

转自:http://www.math.org.cn/forum.php?mod=viewthread&tid=14819&extra=&page=1 原作者: wcboy 现在的论坛质量比以前差了,大部分都是来解题问答的,而且层次较低.以前论坛中,Qullien很令人印象深刻,但愿他能在国外闯出一片天空.现在 基础数学版代数&数论子版中那几个讨论代数几何的还不错.不期望目前论坛出现很多高层次高手,高层次高手应该站在好课题上高观点讨论数学,出 现这样的网友,看他们的言论非常过

如何假装自己会某种数学

本文毫无疑问会采取讽刺的口吻来书写,但并不是为了讽刺某一个人或推而广之的某一类人.本文的目的在于揭示一种现象,当数学普及之时就势必会发生的事. 首先你需要选择一个粗鄙的对数学分支的介绍如(如何选择数学方向),而不是冗余的(普林斯顿数学指南)或者(数学它的内容,方法和意义).即便学习过英文,也不要选择需要很长时间来阅读的(A Mathematician's Survival Guide)或者(A Student's Guide to the Study, Practice and Tools of

自然数从何而来?

从孩童时代起,我们就学习数"数",熟悉了自然数1,2,3,...,但是我们并不清楚这些自然数来自何方?为什么叫"自然数"? 19世纪的德国数学家克罗内克认为:"上帝创造了自然数,别的都是人造的.自然数在直观上是清楚的,故可以接受,而其他则是可疑."他的意思是说,只有自然数是真实存在,其余都只是人为做出的一些文字符号罢了.他还主张在自然数的基础上来构造整个数学. 1907年,荷兰数学家布劳威尔认为:"存在即是被构造",孩童数&q

【集合论】 01 - 集合还要论?

"不就是集合吗?高中就学过了.小样,别以为加个“论”字我就不认识你!"在我们的印象中,集合一直是数学的基础语言,任何一个分支都是由集合定义起的.殊不知,这一状况其实才几十年时间,集合论(Set Theory)的诞生也才一百年左右.你可能更没想到,集合论起始于对无穷的探索和思考,它还掀起了崭新的学科“数学基础”的建立. 集合和逻辑横跨于数学与哲学之间,但它们却如其它枝繁叶茂的应用分支一样,已经生成了错综复杂的根系,使得数学更加丰富,也更加稳固.作为一个小小程序员,我无力也无心去细致学习这

【抽象代数】 09 - 伽罗瓦理论

1. 正规扩域 在研究域\(F\)的代数扩张\(E\)时,首要的前提是扩域\(E\)是存在的,其次还要让所有扩域在同一个空间,即它们之间是可运算的.满足这样条件的空间便是\(F\)的代数闭包,使用集合论的语言,代数闭包可以描述成所有多项式的分裂域之并.这个定义合法性其实还是需要推敲的,你可以结合代数扩域的性质自行讨论,这里就先假定它的存在性.其次,不同的闭包之间并不一定是互通的,下面的讨论将回避这种“平行世界”的讨论,将范围限制在某个选定的代数闭包\(\Omega\)中. 即使只在某个闭包中,满