皮亚诺公理中“0不是任何自然数的后继”怎么理解
来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/29 22:19:53
皮亚诺公理中“0不是任何自然数的后继”怎么理解
有这样一个例子,已知皮亚诺公理的第1条“0是一个自然数”和第2条“如果n是一个自然数,那么n++也是自然数”,考虑由0,1,2,3组成的数系,书中说“在此数系中,3++转回到0”,从而引出皮亚诺公理第3条“0不是任何自然数的后继”.我觉得很难理解,3++怎么会转回到0,而且自然数是无穷的,“0,1,2,3组成的数系”根本就不是自然数系,而且我认为在“由0,1,2,3组成的数系”中,3++运算(结果按常理应该是4)是无法定义的.
1楼的回答想得太多了,书中没有这个意思。就是普通的自然数,没有别的意思。我这里只是想搞明白为什么需要匹亚诺第3公理,这个例子的说法怎么会符合逻辑。书中在说明这个例子时,用了计算机的例子。比如一个二字节的整数,如果从0开始反复增1运算,那么最大到65535,再增1,由于超出记忆容量(2个字节),结果归零。不过我觉得这个东西和书上的例子搭不着边,那是计算机表示的溢出问题,而且溢出时的值可能也不是唯一确定的,和编译器有关,不见得到了65536都回归0。
有这样一个例子,已知皮亚诺公理的第1条“0是一个自然数”和第2条“如果n是一个自然数,那么n++也是自然数”,考虑由0,1,2,3组成的数系,书中说“在此数系中,3++转回到0”,从而引出皮亚诺公理第3条“0不是任何自然数的后继”.我觉得很难理解,3++怎么会转回到0,而且自然数是无穷的,“0,1,2,3组成的数系”根本就不是自然数系,而且我认为在“由0,1,2,3组成的数系”中,3++运算(结果按常理应该是4)是无法定义的.
1楼的回答想得太多了,书中没有这个意思。就是普通的自然数,没有别的意思。我这里只是想搞明白为什么需要匹亚诺第3公理,这个例子的说法怎么会符合逻辑。书中在说明这个例子时,用了计算机的例子。比如一个二字节的整数,如果从0开始反复增1运算,那么最大到65535,再增1,由于超出记忆容量(2个字节),结果归零。不过我觉得这个东西和书上的例子搭不着边,那是计算机表示的溢出问题,而且溢出时的值可能也不是唯一确定的,和编译器有关,不见得到了65536都回归0。
这是为了减少自然数系的病态性.
按照这个公理,0=n++总是不成立的.
比如说:证明3不等于0.这虽然是很明显的,但它到底对不对?
没有这条公理是说不清的.(你可以尝试一下说清,当然会涉及到更加多的其他的基本定义,会更复杂的.)
有了这条公理就好说了,3=((0++)++)++)=((1++)++)=2++,
即3是2的后继,从而由Peano公理知道3不等于0.
以上是个人浅见,希望对您有帮助.
按照这个公理,0=n++总是不成立的.
比如说:证明3不等于0.这虽然是很明显的,但它到底对不对?
没有这条公理是说不清的.(你可以尝试一下说清,当然会涉及到更加多的其他的基本定义,会更复杂的.)
有了这条公理就好说了,3=((0++)++)++)=((1++)++)=2++,
即3是2的后继,从而由Peano公理知道3不等于0.
以上是个人浅见,希望对您有帮助.
怎么理解空集不是任何集合的真子集?
数据结构中如何理解:循环队列的每一个元素都有一个前驱和后继?
“世界不是一个人创造的,轻视任何一个人都是不对的”怎么理解啊
在11,111,1111,11111,.中,任何一个数都不是自然数的平方.试说明理由.
素数又称质数:指在大于1的自然数中除了1和它本身外,不能被其他自然数整除.(其实我还不是很理解这句话的含义.怎么个除法?
【皮亚诺公理】 【皮亚诺公理】 人物的历史背景是什么
若自然数的算术平方根是a 则它的后继数的算数平方根是< >
(小学题)分数的分子和分母同时乘上同一个自然数,分数的大小不变( ) 任何一个不是0的自然数至少有
公理 判定的方法公理和判定方法什么关系?如下列命题中,不是公理的是(A)A.平行于同一个平面的两个平面的相互平行B.过不
小学五年级奥数题:在100以内的自然数中,不是3,5,7中任何一个数的倍数的数共有多少个?
1、已知两个自然数中任何一个都不是另一个的倍数,他们分别除以他们的最大公约数后所得两个数分
为什么1是任何非0自然数的因数