有关欧几里德(Euclid)几何原本的感想
在公元前,欧几里德“几何原本”出现了,标志着数学公理化进程的开端。实际上,几何原本的内容包括了现代的代数与数论,只不过用几何语言表述罢了。可以说,数学公理化的历史进程十分久远,绝对不是某个现代作家心血来潮、突发奇想的结果。
凡是受过普通教育的现代人几乎都还记得几何公理的魅力。这是老祖宗欧几里德的功劳,我们不可忘记。1976年,j.Keisler在无穷小微积分教材中,模仿(效法)老祖宗,给出了微积分学的公理化陈述,不算“出格”。微积分(实数系)有3组公理如下:
一、代数公理:
A. 封闭律:0与1是实数。如果a与b是实数,则a+b,ab以及-a均为实数;
B. 交换律:a+b= b+a ab = ba
C. 结合律:a+(b+c)= (a+b)+c a(bc) =(ab)c
D.单元律:0+a= a 1a = a
E.逆元律:a+ (-a) = 0 a 1/a = 1 (a≠0)
F.分配律:a(b+ c) = ab + ac
定义:正整数是:1,2=1+1,3=1+1+1,4=1+1+1+1,
二、次序公理
A. 0 < 1
B. 传递律: 如果a< b以及b< c,则a< c
C. 分配律:a< b a = b或b< a,其中只有一个式子成立
D.加法律: 如果a< b则a+c< b+c
E.乘法律: 如果a< b,而且0< c,则ac< bc
F..求根律:如果a> 0,对于任意正整数n,存在一个实数b,使得b的n次方等于a
三、完备公理:如果A为实数集合,其中x,y属于A,而且x与y之间的任何实数均属于A,则A为一个实数区间。
据此,J.Keisler说,利用前两组公理可以构建无数的“表达式”与“陈述句”(用等式或不等式连接两个“表达式”即可组成“陈述句”)。微积分的全部内容就是“陈述句”的大集合,其他“空话”均不相干。实质上,模型论就是:代数+逻辑。无穷小微积分就是由数理逻辑模型论所导演的一门数学基础学科。由此构建的无穷小微积分与欧几里德几何学一样,是一个逻辑推理体系,全部数学结论(定理)都是由公理推导出来的。
现在,无穷小微积分才开场(热身运动),高潮还在后面。
有关欧几里德(Euclid)几何原本的感想相关推荐
- 我如何用TeX“复活”两千多年前的《几何原本》?
大数据文摘出品 作者:栾红叶.李可.钱天培 2300多年前,被称为"几何之父"的古希腊数学家欧几里得,结合了前人思想,加上自己在几何方面的研究,最终创造出不朽之作<几何原本& ...
- 第三讲 欧几里得与他的《几何原本》
第三讲 欧几里得与他的<几何原本> 教学目标与教学指导: 数学的内容可以粗略地分为代数与几何两大部门.代数是关于数量关系及数量形式的学问,而几何是关于空间形式的学问,最初主要研究空间的 ...
- 推荐给中学生的数学课外书:《几何原本》
<几何原本>是世界上最著名.最完整而且流传最广的数学著作,也是欧几里德最有价值的一部著作.在<几何原本>里,欧几里德系统的总结了古代劳动人民和学者们在实践和思考中获得的几何知识 ...
- 第三讲 欧几里得与他的《几何原本》
第三讲 欧几里得与他的<几何原本> 教学目标与教学指导: 数学的内容可以粗略地分为代数与几何两大部门.代数是关于数量关系及数量形式的学问,而几何是关于空间形式的学问,最初主要研究空间的 ...
- 经典的经典:《几何原本》
[编者按:西方的科技源于数学,从数到几何再到力学,<几何原本>对科技发展的作用不亚于<易>对东方思想形成的作用,尤其是公理形式化系统中,它唤醒了混沌幽暗的世界--] <几 ...
- 推广的euclid_欧几里德(Euclid)贴近度评价法在人类进化上的应用
文●螭母:1008一s688 12001)Ol一0006-03 欧几里德(Euclid)贴近度评价法在人类进化上的应用 刘国民1,宋香梅2 (1奉溪拜专,皋溪117022:2.本溪市圆税局,苯澳117 ...
- 怎样从《几何原本》到《独立宣言》?
<几何原本>是人类文明的一个转折点,而<独立宣言>是人类文明的一个里程碑,这两者背后有着相同的思维方式.本文就来解释下这种思维方式是什么,以及这种思维方式是怎么从<几何原 ...
- 欧几里得《几何原本》电子版的内容大纲
为什么说,传统微积分源自欧几里得<几何原本>,而现代微积分源自希尔伯特<几何基础>? 本文附件列出了欧几里得<几何原本>电子版的内容大纲,其中完全没有公理系统相容性 ...
- 几何原本译林pdf下载_《几何原本》欧几里得_文字版_pdf电子书下载
作者介绍: 欧几里得(Ευκλειδη) 公元前330-公元前225 古希腊人,数学家 著作<几何原本>是欧洲数学的基础 奠定了几何学.数学和科学的发展,对西方人的思维方法有深远的影响 被 ...
最新文章
- 关于对IPtables规则的理解
- 专访SIGDIAL2020最佳论文一作高信龙一:成功都是一步步走出来的
- 谷歌chrome浏览器的源码分析(五)
- python 去除所有的中文 英文标点符号
- php __FILE__和$_SERVER['SCRIPT_FILENAME']区别
- se是什么职位_女皇大学PSE&SE 独家解析!
- 给网站文字添加图标-Font Awesome
- ./configure,make,make install的作用(转)
- CentOS通过yum安装高版本gcc
- 清华大学计算机信息学院舒教授,清华大学出计算机与信息分社.ppt
- 元器件封装大全:图解+文字详述
- 线性规划——产销平衡
- flickr网站用到的php技术
- WM_ERASEBKGND消息及位图背景与透明的实现
- 谈谈如何写好一份简历
- SQL优化建议(不定时更新添加)
- 小程序华为手机canvas不显示问题
- 如何提升广告ROI?转化跟踪了解一下
- 各类文件的文件头尾总结
- MISC机制编写字符驱动程序