皮亚诺公理中“0不是任何自然数的后继”怎么理解有这样一个例子,已知皮亚诺公理的第1条“0是一个自然数”和第2条“如果n是一个自然数,那么n++也是自然数”,考虑由0,1,2,3组成的数系,书中
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/14 09:46:51
![皮亚诺公理中“0不是任何自然数的后继”怎么理解有这样一个例子,已知皮亚诺公理的第1条“0是一个自然数”和第2条“如果n是一个自然数,那么n++也是自然数”,考虑由0,1,2,3组成的数系,书中](/uploads/image/z/14414301-45-1.jpg?t=%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86%E4%B8%AD%E2%80%9C0%E4%B8%8D%E6%98%AF%E4%BB%BB%E4%BD%95%E8%87%AA%E7%84%B6%E6%95%B0%E7%9A%84%E5%90%8E%E7%BB%A7%E2%80%9D%E6%80%8E%E4%B9%88%E7%90%86%E8%A7%A3%E6%9C%89%E8%BF%99%E6%A0%B7%E4%B8%80%E4%B8%AA%E4%BE%8B%E5%AD%90%2C%E5%B7%B2%E7%9F%A5%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86%E7%9A%84%E7%AC%AC1%E6%9D%A1%E2%80%9C0%E6%98%AF%E4%B8%80%E4%B8%AA%E8%87%AA%E7%84%B6%E6%95%B0%E2%80%9D%E5%92%8C%E7%AC%AC2%E6%9D%A1%E2%80%9C%E5%A6%82%E6%9E%9Cn%E6%98%AF%E4%B8%80%E4%B8%AA%E8%87%AA%E7%84%B6%E6%95%B0%2C%E9%82%A3%E4%B9%88n%2B%2B%E4%B9%9F%E6%98%AF%E8%87%AA%E7%84%B6%E6%95%B0%E2%80%9D%2C%E8%80%83%E8%99%91%E7%94%B10%2C1%2C2%2C3%E7%BB%84%E6%88%90%E7%9A%84%E6%95%B0%E7%B3%BB%2C%E4%B9%A6%E4%B8%AD)
皮亚诺公理中“0不是任何自然数的后继”怎么理解有这样一个例子,已知皮亚诺公理的第1条“0是一个自然数”和第2条“如果n是一个自然数,那么n++也是自然数”,考虑由0,1,2,3组成的数系,书中
皮亚诺公理中“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不是任何自然数的后继”怎么理解有这样一个例子,已知皮亚诺公理的第1条“0是一个自然数”和第2条“如果n是一个自然数,那么n++也是自然数”,考虑由0,1,2,3组成的数系,书中
这是为了减少自然数系的病态性.
按照这个公理,0=n++总是不成立的.
比如说:证明3不等于0.这虽然是很明显的,但它到底对不对?
没有这条公理是说不清的.(你可以尝试一下说清,当然会涉及到更加多的其他的基本定义,会更复杂的.)
有了这条公理就好说了,3=((0++)++)++)=((1++)++)=2++,
即3是2的后继,从而由Peano公理知道3不等于0.
以上是个人浅见,希望对您有帮助.
自然数无限~0,1,2,3有限~就象65535归0一样 65535用2进制表示是十六个1 再+1的话就变成1后面十六个0了~所以能读出来的部分就是0~这样的话0就变成了65535++了~但是自然数无限~所以0不可以是任何自然数的后继~
3++转回到0 是不是错了?由0,1,2,3组成的数系的话 排列应该是 0 1 2 3 10 11 12 13 20 21 22 23 30....这样下去 类似于2进制 00 01 10 11如此~所以4的定义是10
但是这样和第三条公理没关系~0不是任何自然数的后继的原因是因为0之前没有自然数