数学中数的分类，实数与逻辑

elimqiu

谢芝灵 发表于 2017-3-20 00:43
由反证法：假设无穷的a.a1a2a3...是一个实数，

                得到这个实数[0，a.a1a2a3 ...

如果你不知道 a.a1a2a3... 是什么，再论证也是白搭。另外须知， a.a1a2a3...  是什么也不是你说了算的。

jzkyllcjl 的书泡汤，就是因为他什么概念都要篡改过才用。这才是找抽。

谢芝灵

elimqiu 发表于 2017-3-20 01:19
如果你不知道 a.a1a2a3... 是什么，再论证也是白搭。另外须知， a.a1a2a3...  是什么也不是你说了算的。
...

我写的你看不懂，怪谁。

a.a1a2a3... 是 任意一个无穷数。可以是 0.333.... 或 3.14159.... 或1.414.....

elimqiu

谢芝灵 发表于 2017-3-20 02:29
我写的你看不懂，怪谁。

a.a1a2a3... 是 任意一个无穷数。可以是 0.333.... 或 3.14159.... 或1.414. ...

扯无穷数没有无穷数的定义，没有教养。

谢芝灵

    纠正人类的误区（一）：实数R，有 R＞0.===是什么逻辑？

    是实数R比0大？不是！因为0是原点，是个没大小的点。所以不可以与实数R比大小。

    是实数R在原点的右边，说明R是一个正实数。

    纠正人类的误区（二）：实数R，有 R≥0.===是什么逻辑？

    是实数R等于或比0大？不是！因为0是原点，是个没大小的点。所以不可以与实数R比大小。

    所以，R≥0是错误的表达。只能是 R＞0一种情况。即，说明R是一个正实数。

谢芝灵

elimqiu 发表于 2017-3-20 02:56
扯无穷数没有无穷数的定义，没有教养。

一个没有结尾的 无穷尽。如 0.333.....或 a.a1a2a3...
上面就是从前人说的无穷数。实际上不是个数！与数的定义矛盾。与数的公理矛盾。

jzkyllcjl

现有的、公认的实数定义有： 威尔士斯特拉斯的、戴德金的、康托尔的三种；
现有的无穷大、无穷小有现行数学分析与非标准分析不同说法。

谢芝灵

实数：必须是确定的，大小是确定的。得实数必须有明确的边界[0，R]，

     即有两个端点（下界和上界）原点0，和另一个端点R，组成一个“线段”。

     得实数是一个“整体”。

谢芝灵

jzkyllcjl 发表于 2017-3-20 07:34
现有的、公认的实数定义有： 威尔士斯特拉斯的、戴德金的、康托尔的三种；
现有的无穷大、无穷小有现行数 ...

    我的实数定义。
    实数的定义：[0，R]，即表示在x数轴上原点0到R点的距离，也是一个线段 0→R 长。就是任意实数R。

     实数：必须是确定的，大小是确定的。得实数必须有明确的边界[0，R]，

     即有两个端点（下界和上界）原点0，和另一个端点R，组成一个“线段”。

     得实数是一个“整体”。

jzkyllcjl

谢芝灵 发表于 2017-3-20 07:39
我的实数定义。
    实数的定义：[0，R]，即表示在x数轴上原点0到R点的距离，也是一个线段 0→R 长 ...

你的实数定义有些道理。但你需要将不同定义，进行比较对错误的已有实数理论进行批判。与不同意见争论到底。
我的理想实数定义，包括了你的从线段出发的定义；但我又提出理想实数近似值、近似值无穷数列（全能近似实数序列）的概念，这个数列就是康托尔实数理论中的基本数列，康托尔的实数定义是“等价基本数列类为一个实数”我批判了它，我提出等价基本数列的极限为同一个理想实数的公理，对其它两个实数定义，我也做了批判。详见我的著作《全能近似分析数学理论基础及其应用》。欢迎你查看，提出意见。
至于你叙述的“得实数是一个整体”的说法，需要深入研究：（1）这个整体是有穷的或无穷的？（2）这个整体如何得到？

jzkyllcjl

谢芝灵 发表于 2017-3-20 07:39
我的实数定义。
    实数的定义：[0，R]，即表示在x数轴上原点0到R点的距离，也是一个线段 0→R 长 ...

你的实数定义有些道理。但你需要将不同定义，进行比较对错误的已有实数理论进行批判。与不同意见争论到底。
我的理想实数定义，包括了你的从线段出发的定义；但我又提出理想实数近似值、近似值无穷数列（全能近似实数序列）的概念，这个数列就是康托尔实数理论中的基本数列，康托尔的实数定义是“等价基本数列类为一个实数”我批判了它，我提出等价基本数列的极限为同一个理想实数的公理，对其它两个实数定义，我也做了批判。详见我的著作《全能近似分析数学理论基础及其应用》。欢迎你查看，提出意见。
至于你叙述的“得实数是一个整体”的说法，需要深入研究：（1）这个整体是有穷的或无穷的？（2）这个整体如何得到？