三分律反例简介与消除简介

jzkyllcjl

王宪钧《数理逻辑引论》 讲道：康托儿认为：“数学理论必须肯定实无穷”、“无穷（在数学中表现为无穷集）是一个现实的、完成的、存在着的整体”。布劳维尔反对实无穷观点，他使用“以其人之道对，还制其人之身”的方法对实数理轮提出了三分律反例。 这个反例是对圆周率的无尽小数展开式3.1415926……讲的。他首先称无尽小数“展开式中的每一个100个连续的0为一个百零排”然后提出无尽小数3.1415926…… 没有百零排，有奇数个百零排、偶数个百零排三个命题，两次使用排中律可以得到这三个命题有且只有一种成立的结论。最后他提出一个实数Q，这个Q是：当没有百零排时，Q=π，当有奇数个百零排时Q<π,当有偶数个百零排时 Q>π.。 那么这个实数Q，是等于π、大于π、小于π 的哪一种呢？这就是布劳维尔提出的实数理轮的三分律反例的简述。笔者认为：圆周率的无尽小数展开式3.1415926…… 是永远算不到底的事物，因此上述三个命题都是希尔伯特元数学中的不可判断问题，不能使用排中律得到三个命题只有一种成立的结论，布劳维尔的那个实数不存在。这样，就在“完成了的实无穷观点不能成立”的意义下，消除了布劳维尔的反例。

elim

人不知道某个间接定义的数到底多大，这数就是三分律的反例了？ 这不是狗屎堆逻辑是什么？

实数的无尽小数表达并不依赖于“书写”或者“算出”，它是所对应的点在数轴上定位的最终依据。不是 jzkyllcjl 想否定就否定得了的。

jzkyllcjl 的三分律反例胡扯一文不值。

jzkyllcjl

elim 发表于 2017-7-11 23:18
人不知道某个间接定义的数到底多大，这数就是三分律的反例了？ 这不是狗屎堆逻辑是什么？

实数的无尽小 ...

你说错了 ！ 三分律反例 不是我提的，是我根据圆周率的无尽小数展开式3.1415926…… 永远算不到底的事实消去的。
这个反例的存在依赖于 “完成了的实无穷观点”，在这个观点下，对那三个命题，布劳威尔使用两次排中律得到那三个有且只有一个成立，所以他那个实数Q 是唯一存在的实数。 因此，要想否定那个实数，必须否定 实无穷观点，否定圆周率的绝对准无尽小数展开式3.1415926…… 的可构成性 。
你既想承认这个绝对准展开式存在，又想否定那个反例是违反矛盾律 的自相矛盾的混乱思想。

elim

我说你白忙是实事求是。三分律没有反例可言。人家提出了个伪反例，你当真去白忙乎，还是狗屎吃多了撑的对吧？

你对实无穷的理解不同于王宪钧，可以说不同于数学界，顶多只有谢芝灵这种狗屎吃伤脑袋的人与你有向同的实无穷理解，难怪你的东西成效甚少，小到被人忽略。

jzkyllcjl

elim 发表于 2017-7-12 01:23
我说你白忙是实事求是。三分律没有反例可言。人家提出了个伪反例，你当真去白忙乎，还是狗屎吃多了撑的对吧 ...

我没有百忙， 我帮助 布劳威尔 批判违反事实的“完成了的整体的实无穷观点”，帮他批判这个观点下的无尽小数是实数 的错误理论，帮他改革了实数理论。消除了 两千多年来的数学理论研究中无穷概念的争论。

elim

这就是你不如跳广场舞的大妈们的地方了。人家跟你有一样正确但肤浅的无穷观，人家有自知之明，人贵；你不顾丢人现眼自吹，走向自绝于数学道路，你书著泡汤是必然的。

jzkyllcjl

elim 发表于 2017-7-12 03:13
这就是你不如跳广场舞的大妈们的地方了。人家跟你有一样正确但肤浅的无穷观，人家有自知之明，人贵；你不顾 ...

你的无穷观 是自相矛盾的观点。

elim

jzkyllcjl 发表于 2017-7-12 03:51
你的无穷观 是自相矛盾的观点。

人们对 “[0,1] 是一个现实的、完成的、存在着的整体” 这一论断没有什么疑议。因为[0,1] 作为区间含无穷多个数，作为线段含无穷多点，它是一个无穷集合。所以说无穷集合是一个现实的、完成的、存在着的整体。这话到了主张脱裤子放屁制度化的 jzkyllcjl 那里，事情就复杂了，他说完成就是要书写/枚举完毕。但本来完成 complete 的意思是无需增补，已经完整的意思。整体的意思也相仿，就是不缺。但按照 jzkyllcjl 的‘完成准则’，[0,1] 永远完不成。所有无穷集合都是烂尾楼，都完不成。然而 jzkyllcjl 这种【有了孙子还没有发育完成】的理论是反理性的直觉主义的东西，被数学社会抛弃是理所当然的。

谁的无穷观自相矛盾？

jzkyllcjl

你说[0,1] 作为区间含无穷多个数，那么请你把它们从小到大一一列举出来！
你又说作为线段含无穷多点，也请你把它们从左到右一一列举出来！ 如果列不出来，那么你的话就是空话，无根据的胡说。

simpley

1到1000000000...(1万个0).请你把他们都列出来，列不出来，你说的都是空话。