打字猴:1.701015279e+09
1701015279 数学文化教程 [:1701013722]
1701015280 数学文化教程 第一节 《道德经》与自然数公理
1701015281
1701015282 数学是一种独特的理性文化:它的表达形式是“冰冷的美丽”,但是原始的过程是“火热的思考”。《道德经》的数字意境和近代的自然数公理十分接近。
1701015283
1701015284 古人结绳计数,可以记录从大自然捕获的猎物的数量。西方称之为自然数(natural numbers)。德国数学家克罗内克(Leopold Kronecker,1823—1891)有句名言:“上帝创造了自然数,其他的数都是人造的”。大自然就是上帝。
1701015285
1701015286 什么是自然数?老子《道德经》说得明白:
1701015287
1701015288 “太初有道”,“道生一,一生二,二生三,三生万物”。
1701015289
1701015290 这里,包含了自然数的三个特征,需要我们再认识。
1701015291
1701015292 1.自然数从0开始;“道”相当于0。
1701015293
1701015294 2.自然数一个接一个;由0到1,由1到2,再由2到3,后者是前者的继续。一个接一个,是自然数的特征。分数(有理数)、实数就没有这样的特征了。
1701015295
1701015296 3.自然数系是无限的;三生万物,这里的“万”泛指无穷之多,永无穷尽。
1701015297
1701015298 愚公移山故事也说:“子又生孙,孙又生子;子又有子,子又有孙;子子孙孙无穷匮也,而山不加增,何苦而不平?”这里的“无穷匮”恰和自然数不断后续的意境相通,即子子孙孙构成了一个无限的自然数集。
1701015299
1701015300 现在让我们来看19世纪意大利数学家佩亚诺(Giuseppe Peano,1858—1932)给出自然数公理。其主旨是用“后继”的操作,描述自然数。佩亚诺的这五条公理是
1701015301
1701015302 (1)1是自然数;
1701015303
1701015304 (2)每一个确定的自然数a,都有一个确定的后继数a′,a′也是自然数;
1701015305
1701015306 (3)如果b、c都是自然数a的后继数,那么b=c;
1701015307
1701015308 (4)1不是任何自然数的后继数;
1701015309
1701015310 (5)任意关于自然数的命题,如果证明了它对自然数1是对的,又假定它对自然数n为真时,可以证明它对n′也真,那么,命题对所有自然数都真(这条公理保证了数学归纳法的正确性)。
1701015311
1701015312 若将0也视作自然数,则公理中的1要换成0。
1701015313
1701015314 只要稍微对照一下,就可以看到《道德经》里关于自然数的叙述,和佩亚诺公理的内涵非常接近。
1701015315
1701015316 20世纪初,集合论成为研究的热点。于是,大数学家冯·诺依曼根据佩亚诺公理,用集合语言把自然数直接构造出来。他从一个空集 出发,给出每一个自然数的后继:即此前所有集合为元素的集合。具体过程如下:
1701015317
1701015318 空集 表示0;
1701015319
1701015320 以空集 为元素的集合{}表示1;
1701015321
1701015322 以 和{}为元素的集合{,{}}表示2;
1701015323
1701015324 以,{}和{,{}}为元素的集合{,{},{,{}}}表示3;
1701015325
1701015326 …………
1701015327
1701015328 以前面N个集合为元素构成的新集合,表示N+1
[ 上一页 ]  [ :1.701015279e+09 ]  [ 下一页 ]