馨香书院 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

同志们,今天是数学城的奠基仪式,许多人问我为什么要选择今天这个日子来举行这个仪式,我今天可以告诉大家答案,因为210年前的今天,一个意大利人出生了,这个意大利人叫皮亚诺,他是一个伟大的人,如果没有他,在座的许多人也许没有资格坐在这里。

为什么要这样说呢?因为树高千尺根深在沃土。我们的数学水平不管有多高,我们的第一节数学课还记得吗?教的是什么?不就是1+1=2吗?1+1=2构建了我们最基础的数学知识。但是我自己到了很久很久以后才知道这个1+1=2其实并没有那么简单。因为这要从皮亚诺公理开始说起。

1889年,在数学家戴德金工作的基础上,皮亚诺在《用一种新方法陈述的算术原理》一书中提出了一个算术公理系统,这个公理系统有九条公理,其中四条是关于“相等”的,五条是刻画数的,并且以1而不是0作为基本概念。在后来的著作中,皮亚诺对这一算术系统作了修改,去除了关于“相等”的四条公理,并且以0取代1作为基本概念,构造了沿用至的皮亚诺算术公理系统。

人类对数学的认识其实原始社会就开始了。到了皮亚诺那个时代,数学大厦其实已经很高了。但是皮亚诺发现这座数学大厦的基础还需要加固。于是他总结先人的成就,加上自身的见解,还有同事的意见,建立了皮亚诺算术公理系统。

虽然描述这套公理体系的数学语言发生过不少变化,但这套体系本身一直延用至今。根据这个建立在公理基础之上的自然数体系,通过引入减法可以得到整数系,再引入除法得到有理数体系。随后,通过计算有理数序列的极限(由数学家康托提出)或者对有理数系进行分割(由戴德金提出)得到实数系。这一套公理化实数体系连同同时期魏尔斯特拉斯在微积分分析化过程中的贡献(例如极限定义中的ε-δ语言)一道,使得早已被人类应用两百多年的微积分学能建立在一个坚实的基础上。

我,还有在座的大多数,都是这个公理系统的受益者。如果没有这个公理系统我们将难以学会微积分。

皮亚诺的这五条公理用非形式化的方法叙述如下:

Ⅰ 1是自然数;

Ⅱ每一个确定的自然数a,都有一个确定的后继数a',a'也是自然数(数a的后继数a'就是紧接在这个数后面的数(a+1),例如,1’=2,2‘=3等等);

Ⅲ如果b、c都是自然数a的后继数,那么b = c;

Ⅳ 1不是任何自然数的后继数;

Ⅴ任意关于自然数的命题,如果证明了它对自然数1是对的,又假定它对自然数n为真时,可以证明它对n'也真,那么,命题对所有自然数都真。(这条公理也叫归纳公设,保证了数学归纳法的正确性)

注:若将0也视作自然数,则公理中的1要换成0。

更正式的定义如下:

一个戴德金-皮亚诺结构为一满足下列条件的三元组(X, x,f):

Ⅰ X是一集合,x 为X中一元素,f是 X 到自身的映射;

Ⅱ x 不在f的值域内;

Ⅲ f 为一单射;

Ⅳ若A 为X的子集并满足: x属于 A,且若a 属于A,则 f(a)亦属于A,则A =X.

该公理与由皮阿罗公理引出的关于自然数集合的基本假设:

1° P(自然数集)不是空集;2° P到P内存在a→a直接后继元素的一一映射;

3°后继元素映射像的集合是P的真子集;

4°若P任意子集既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与P重合.

这四个假设能用来论证许多平时常见又不知其来源的定理!

例如:其中第四个假设即为应用极其广泛的归纳法第一原理(数学归纳法)的理论依据。

(摘自《百度百科》)

喜欢660号生物学家请大家收藏:(www.xinxiangsy.com)660号生物学家馨香书院更新速度全网最快。

馨香书院推荐阅读: 废土求生我有预告提示我在四合院中的悠闲生活影视世界从余欢水开始奥特时空传奇惊恐沸腾灵界机械师诸天之从四合院的傻柱开始重启狼生:我能望见进化路线我有一座游戏屋我是末世尸王龙城时空穿梭之龙帝全球诸天在线黑雾之下我在植物人圈里当老大时空冒险王诸天分宝灵气复苏,我从种田开始修仙末日与全球脑主神游戏:开局签到百倍奖励我在漫威世界捡空投墓室求生:从骷髅开始进化大反派也有春天2哈利波特之死灵法师我在末世位列仙班诸天盗梦者无限恐怖港综世界当大佬走进不科学末日之召唤三国群雄每天都离现形更近一步无限冒险指南系统之游戏主播我在末世有个基地我的移动避难所还说你不是救世主末世神工建筑系统黑科技之带人类升级文明吞食万族超级生物战舰诸天之文才要逆袭美漫第一天才我演化了诸天邃蓝史上最强机械师末日天灾降临学霸从数学建模开始守望黎明号我一个人砍翻末世末日进化狂潮
馨香书院搜藏榜: 海岛求生:开局召唤哥布林末世求生:开局100万母体丧尸精神科幻境黑科技我的战斗天使超能战武玄幻之我在未来捡属性科技最狂潮武震诸天从笑傲开始最强位面店主玩家凶猛冰河时代降临:百倍奖励我竟成了金手指!穿越从傻柱开始香岛岁月这些世界实在太崩坏了吞噬星空之法则分身宇宙科技崛起神矛局顾问仓鼠的避难所蓝云星召唤萌战记超现代魔法使亡灵法师末世行疯语者的超维游戏全球神袛之死亡神庭我从吞噬星空开始打卡雄兵连之我的系统不一样矩阵游戏苏醒在四十亿年后,我不做人了海上冰路生存:开局获得复制系统神级猎杀者战略六组的炮灰日记最强反恐精英我在平行世界玩主神游戏星空时代史科技制霸无限幻想大冒险重生归来唯我魔尊我是末世尸王吃出一个天下人在天庭刚成天帝从雄兵连开始永暗明主修行在万界星空穿越从全真教签到开始低配版系统主神三国游戏:最强寨主全民城堡:众生为棋诸天:从射雕开始胜利后的我们
馨香书院最新小说: 异相都市星际开荒:我有一颗原生态的星球异形转生超弦空间生化王朝恐怖通缉令无限之万界公敌星徒闯星际末世超级进化者无限打工武幻轮回无限之血脉进化斩破空宇星战士天才维修工生化之我是丧尸一睡万年无限神话无限之勇敢者游戏地球OL神话复苏时空旅行者的探险队无限之黑暗势力崛起无限终焉星际屠夫末日之灭绝生化末世的幸福生活破灭时空异能时代超位面征服系统末世之虐杀原形位面时空指南重生之烈獒植物制卡师传奇末世之无限双修机破苍穹星际拾荒集团降临深渊末日之主神游戏系统末世之丧尸无敌末日食金者穿越世界的技术宅单机连杀末日之无限兑换无限之召唤笔记末日幻世录我的无限空间无限升级契约流黑暗国术