|
布劳威尔的"构造"是有逻辑漏洞的: 百零排可以没有,可以有有限多个, 还可能有无穷多个. 如果以证明百零排有且仅有有限多个, 那么进一步还可以问是偶数多个还是奇数多个. 所以严格地说布劳威尔的"构造"并不保证相应的实数的存在.
就算我们修正了他的构造, 保证了布氏示性数的存在, 那么因为人们还不知道Pi的十进小数中百零排的出现情况, 所以就不知道这个示性数的值. 当然也不知道其符号. 但不知道符号并不等于它没有符号, 所以它根本不构成三分律的反例. 所以三分律反例在任何意义上都是炒作, 捏造.
现在要问, 布氏示性数是不是一个不可判定问题? 关于这一点目前还是一个未解决的难题. jzkyllcjl 声称这是一个不可判定问题, 理由是我们永远不知道 Pi 的十进小数的各位上的值. 但这个理由是不成立的. 费马大定理的解决不是靠遍历全部大于2的自然数指数来做到的, 孪生素数问题也不因为我们找到了全部孪生素数对才能解决. 所以我们不能因为 jzkyllcjl 的理由就说百零排问题不可判定.
数学家们的确会有糊涂的时候, 布劳威尔不必说了, 就说这个徐利治吧, 在这个问题上不能不说有点失去他平常一贯的思路敏锐和清晰. 当然, 他在任何意义上都远高于 jzkyllcjl. 他并没有断言布氏示性数是三分律的反例.
类似于布氏示性数我们可以轻易地拿现在还没有解决的数学问题构造类似的待定数. 例如 Euler 的 γ = 0.57721.... 到现在还不知道是有理数还是无理数. 于是我们可以定义一个伽玛示性数 ω, 若 γ 是有理数, 就令 ω = 1, 否则定义 ω = -1. 现在问 ω 是大于 0 还是不大于 0? 按照 jzkyllcjl 的狗屎堆逻辑, ω 又成了三分律的反例. jzkyllcjl 吃了狗屎, 任何猿间怪声都能啼将出来.
|
|