布劳维尔的反例演绎

jzkyllcjl

elim 发表于 2017-12-27 19:09
jzkyllcjl 的实践为什么只停留在吃狗屎层面上，不对那个"三分律反例"实践一下“全能近似”？

老头以为不 ...

实数的三分律 是实数理论中重要基础。对徐利治研究的、布劳威尔提出的那个涉及 三分律的难题 是需要解决的。不承认这个难题就是睁眼瞎。

elim

实数的三分律是什么的问题，畜生不如的 jzkyllcjl 是不知道的。徐利治，布劳威尔的问题跟三分律没有关系. 畜生不如的 jzkyllcjl 的炒作除了让他成为数学社会的过街老鼠，没有别的作用。

都畜生不如了，睁眼瞎还是睁眼明都一样。

jzkyllcjl

elim 发表于 2017-12-29 16:59
实数的三分律是什么的问题，畜生不如的 jzkyllcjl 是不知道的。徐利治，布劳威尔的问题跟三分律没有关系.  ...

徐利治，布劳威尔提出了一个实数Q，无法判断它属于大于0，小于0，等于0的哪一类？

elim

jzkyllcjl 发表于 2017-12-29 23:46
徐利治，布劳威尔提出了一个实数Q，无法判断它属于大于0，小于0，等于0的哪一类？

就算无法判断属于哪一类，也与三分律没有关系，三分律是说，没有实数可以同时属于不同的类。老头无法判断那玩意属于哪个类，更无法证明它属于不同的类了。所以老头不过是三分律白痴，而已。

195912

排中律与直觉主义
      排中律:两个互相否定的命题必有一真一假.布劳维尔认为排中律起源于古代在有限集合上的应用,不可能应用于无限集.对无限集来说,还有第三种情况,就是存在有这样的命题,不能证明命题的真伪.
      直觉主义者认为,一个命题的真假论证,是指存在一个能行性的过程在有限步骤内已经证明该命题的真假.事实上存在大量的数学命题,没有能行性地证明,判定命题的真假.在直觉主义看来,如果无条件地承认”命题A或命题￢A必有一为真”,这就等于承认所有命题是能构造性地证明其真假,然而这是没有可信性根据的.
      直觉主义者所坚持的观点和方法,其出发点也是希望借此消除数学理论中已经出现的悖论,但是,由于其理论体系不成熟,从而走向了另一个极端.
      “三分律反例”的始作俑者继承了直觉主义衣钵，认为Brouwer构造的那个实数Q，没有能行性地证明三种情况中“取而且只取哪一种情况”，背离布劳维尔原题本意，没有理论根据地认为“布劳维尔反例就是实数三分律反例”。

elim

不管 Brouwer 构造的是什么，都推翻不了三分律。

APB先生

三分律，也叫：三分法；就是希尔伯特实数公理系统的序公理，对任意二个实数 a, b ，只能有 a>b,  a=b,  a<b , 这三种关系之一；且涉及关系式的传递性，加法的单调性，乘法的单调性。三分律的反例是不存在的。

jzkyllcjl

APB先生 发表于 2017-12-31 12:29
三分律，也叫：三分法；就是希尔伯特实数公理系统的序公理，对任意二个实数 a, b ，只能有 a>b,  a=b,  a

我同意三分律的反例不存在，但需要解决徐利治提出的难题。 你看过徐利治 自然数列二重性与双相无限性及其对数学发展的影响[A]，徐利治《论数学方法学》[C]，2003，490-501吗？你能解决那个论文中布劳威尔提出的那个实数Q，大于0，小于0等于0的徐利治认为的难题吗？

APB先生

jzkyllcjl 发表于 2018-1-1 16:41
我同意三分律的反例不存在，但需要解决徐利治提出的难题。 你看过徐利治 自然数列二重性与双相无限性及 ...

20 年前看过徐的书，好像他也来过我校，好像是某数学杂志的总编。所谓三分律的反例，是无用的废话，没有学术意义。

jzkyllcjl

APB先生 发表于 2018-1-1 09:13
20 年前看过徐的书，好像他也来过我校，好像是某数学杂志的总编。所谓三分律的反例，是无用的废话，没 ...

徐是大连理工大学教授是数学研究与评论总编。今年大约98岁。希望你能看看 他的论文 ，解决他说的布劳威尔反例与他说的难题。至于那个难题是不是三分律反例，你怎么说都可以。