|
本帖最后由 elim 于 2021-6-13 10:23 编辑
无穷公理是基于找不到不在 N 里的自然数这个事实而提出的。而peano公理刻划了自然数的本质。历史地说,自然数是从计数活动抽象出来的。阿拉伯人对自然数的记法被普遍沿用。而到了算术和其他非系统的数学成果积累到一定规模时,对这一切的理论概括就成为必要。人们一方面需要建立数学分支,系统地研究数学, 另一方面开始提出相对于其他学科而言最严谨的数学本身有没有逻辑矛盾,原则上是不是可以解决系统语言提出的任何问题等等的问题。开辟把数学作为研究对象的学科,叫作元数学。
可以看出,数学就像一棵树,一方面其树杆树叶果实(分支,具体成果)不断生长,一方面其根(数学基础)会越扎越深。
回到要点:定义自然数是后于自然数的广泛应用甚至数论的累累硕果的理论行为。它的首要原则就是把自然数这类数学元素的实际使用中反映出来的本质忠实地提炼出来。自然数是通过书写而逐一进入存在的吗? 数学地构造自然数是什么意思? 在数学地构造自然数之前自然数就不存在吗? 不要忘记,数学理论,特别是其基础部分,是对客观的数学存在的概括。所谓数学构造不过是给出从数学公理到被定义的数学对象之间的全部逻辑环节。从这一观点看 jzkyllcjl 的东西,就知道它有多少畜生不如。自然数是靠人一一写出才存在的吗? 算术基本定理,对尚未写出的自然数成立不成立?没有无穷公理,素数无穷多定理在逻辑上就不成立。怎么鉴定一个自然数已被写出过,畜生不如的jzkyllcjl?
同样的道理,\(\sqrt{2},\;\pi\) 等等都是数名,而\(\,1.4142\ldots,\;3.1415926\ldots\) 分别是它们表示的实数的十进制坐标或者是十进制值。所以是实数, 不是变数,
一般地,对\(\,x\in(0,\infty),\)
\(\;x=a_0.a_1a_2\ldots =\sup\{x_n\mid x-10^{-n}\le x_n=a_0.a_1a_2,\ldots a_n< x,\,n\in\mathbb{N}\}\)
其中\(\,a_k\in\{0,1,\ldots,9\}\subset\mathbb{N}\).
通俗地说,正实数的无尽小数是其十进制坐标,及其十进制展开表示,亦即其非负十进制不足有限小数逼近序列的上确界. 不这样解读无尽小数的都是篡改和造假。
这样的无尽小数定义符合历史和数学应用的实际,在理论上与实数理论,特别是实数的连续性公理定理相容,其唯一性也被阿基米德公理保证。
另外,这样的无尽小数不以人的计算和书写为转移,满足数学意义上的客观性。
最后,一个愚不可及,什么问题都不能独立正确解决的人的主张,只有作为垃圾被抛弃。江郎才尽却还目空一切的邪灵话都说不利索,谬论产能过剩,结局也绝无二致.
|
|