设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
     
  慕容青草的博客
  哲学与信仰
网络日志正文
一次彻底失败之成功 2023-09-10 14:57:49

戴榕菁

过去这些年里我做过很多哲学项目,不论是抽象的社会动力分析,还是经典哲学解译,还是对于逻辑本身的抽象探索,还是诊断专业哲学的衰败原因,还是心理人文探索,还是经济动态规律分析,还是关于自然与超自然的形而上学,还是推翻宏观能量必须守恒的结论,还是推翻狭义相对论并指出量子理论和广义相对论的一些相应的缺陷,甚至是推翻所谓的康托连续性假设(即希尔伯特第一问题),等等等等,感谢上帝,我都令自己惊奇地一路顺风地披荆斩棘,屡获成功,而且所有的成功都是历史性的和突破性的,没有任何对前人工作的重复,包括对老子,柏拉图,亚里士多德,康德,黑格尔的解读都一再纠正相关的领域的专业哲学家们的错误,有些是他们至今也不明白的错误,有些是他们中的一些人这两年里也开始改正的错误(比如,将Transcendentala priori都翻译成先验这个错误)。尽管其间也出现过一些错误和挫折,但都很快在没有得到任何其他人的指正和帮助的情况下,被我自己纠正了。当然,我自己明白这完全是上帝的带领的结果!

或许有人会质疑说:你贴出来的都是成功的,谁知道你背后有过多少失败的例子没有贴出来呢。坦白地说,不论你们信还是不信,过去这些年里我所花费时间的项目中只有一个项目是彻底失败的,不过与我这些年所做的其它项目不同,那个项目基本上称不上是一个哲学项目。我在开始的时候也曾想着或许我可以借助哲学分析为那个号称是让所有的数学家栽跟头,甚至可以说是数学家坟场的看似最简单的数学题目开辟一个不同于数学家们的新思路,但是很快就意识到没那么简单。所以那次的失败应该是自己的一次任性尝试的结果。

很多读者可能已经猜到,那个失败的项目所针对的数学题目就是著名的考拉兹猜想(Collatz Conjecture)。我前后共尝试了两次,第一次是2021年看了Veritasium(即Derek Muller)的相关视频【[1]】后,感觉这个问题确实如他所说看上去非常简单,因而出于好奇就想试一下,正好几天后需要去车行维修车子且被告知可能要等很长时间(那时是新冠正猛的时期),所以我就背个书包,揣了一些废纸,在车行开始了白纸黑字的推导,但很快发现这个问题与哲学没什么关系,所以离开车行后就再也碰过它,不过心里还想着按照自己的思路做下去或许有戏,打算日后有时间或许还可以再捡起来玩玩。

第二次是今年3月底,在以为推翻狭义相对论的工作可以告一段落的时候正好有点时间就又捡起了这个考拉兹猜想,但4天后终于明白了这是一个至少目前对我来说是一个不可能完成的任务而且今后恐怕也不会再去碰的问题,于是就是彻底撒手。

或许有人会说,要想解决考拉兹猜想至少要先去看看别人怎么做的吧。我当然不会去干这事,那是因为从一开始我就认为这不是一件正经的事,纯粹是一种诱惑之下的尝试,看看哲学分析在这里是否能有点作用,如果我的思路能走通,那一定是前人没有走过的,如果自己的思路走不通,那就不会再去深究。当然,我还是简单地了解了一下他人(包括Muller介绍)的思路,知道我自己的思路与数学界的不同。尽管如此,只有象我这样尝试过的人才能体会其中的诱惑,所以即便我一开始并没打算陷进去,我仍将自己对考拉兹猜想的浅尝辄止的果断退出看成是一种自律的成功。

前两天YouTube名为雅桑了吗”中文频道又在谈论这个考拉兹猜想【[2]】,该视频的标题提醒我何不将我自己那个失败了推导过程写出来。一方面虽说我的尝试不成功,但我失败的一个很重要的原因是不具备应有的计算手段(我所有的就是一台老旧的windows10笔记本),而我推导的过程与数学界的思路不一样,且至少从一个角度将该问题的难点揭露了出来,说不定别人有条件的按照相同的思路能够取得进展呢;另一方面反正我已不打算再碰它了,既然已经花费了几天的时间,就不如将自己的思路公布出来也算没完全浪费时间。

先简单介绍一下考拉兹猜想Collatz Conjecture)【[3]:

任何一个(大于2的)自然数,如果它是偶数,那么将它除以2,如果是奇数,那么将它乘以3再加1。然后如果所得结果不是421,就再重复上述操作,最后的结果一定会落在421之中。而上述的变换也叫做考拉兹变换当然,考虑到4,2按照考拉兹变换结果也是1,也可以说考拉兹变换最后结果就是1。

现在来谈一下我的思路。我的基本思路是将自然数按照考拉兹变换来分类,找到这种分类的一般表达式,然后看是否能证明这样的分类可以覆盖所有的自然数。下面将第k类写成Nk,并将变换后得到421的称为考拉兹数。我们先考察几个有限的k,看是否能总结出规律来。下面推导中的整数都是非负的。

第一类N1: N1= 2n           n为大于等于1的任意整数                                                                            (1)

很显然,N1一定是考拉兹数。

第二类N2:令 3N2 + 1 = N1= 2n                                                                                (2),则有 

N2 = (N1 1)/3 = (2n 1)/3                                                                                          (2a)

很显然,N2一定是考拉兹数,且不难证明 (2)中的n 一定为 2mm为任意非零整数,所以

N2 = (22m 1)/3                                                                                                             (2b)

第三类N3 N3 = N1N2= 2nN2                                                                                                    (3)

很显然,N3一定是考拉兹数。

第四类N4:令3N4 + 1 = N3= N1N2= 2nN2                                                                  (4),则有 

N4 = (N1 N2 1)/3 =[ 2(2m+n) -2n -3]/32                                                                           (4a)

很显然,N4一定是考拉兹数。

第五类N5 N5 = N1N4= 2nN4                                                                                                    (5)

很显然,N5一定是考拉兹数。

第六类N6:令3N6 + 1 = N5= N1N4= 2nN4                                                                  (6),则有 

N6 = (N1 N4 1)/3 =[2(2m+n+n) 2(n+n) 3x2n 32]/33 (6a)

其中的x表示乘号。很显然,N6一定是考拉兹数。

第七类N7 N7 = N1N6= 2nN6                                                                                                    (7)

很显然,N7一定是考拉兹数。

第八类N8:令3N8 + 1 = N7= N1N6= 2nN6                                                                  (8),则有 

N8 = (N1 N6 1)/3 =[2(2m+n+n₂+n) 2(n+n₂+n) 3x2(n₂+n₃) 32x2 n33]/34                         (8a)

其中的x表示乘号。很显然,N8一定是考拉兹数。

到这一步我们已经可以很清楚地看出考拉兹数的一般表达式如下:

N2k = [(22m-1)2f(k,1)-3x2f(k,2)-32x2f(k,3)-……-3(k-2)x2f(k,k-1) 3(k-1)]/3k                                               (9a)

N2k+1 = N1 N2k=2nN2k                                                                                                   (9b)

其中的x表示乘号,函数f(k,t)为:

    10.png                                                                                                           (10),

ntt=1,2,3,…,k-1是任意的自然数,我们并不知道其具体值与Nk之间有什么隐藏的规律。

很显然,按照上面一步步的思路,所有考拉兹数必然都能由(9a)(9b)来表达。那么接下来的问题是:由(9a)(9b)表达的考拉兹数是否覆盖所有的自然数?答案显然是肯定的,否则考拉兹数集合与自然数集合就不重合,那么考拉兹猜想就不成立了。问题是如何证明这一点

一个简单的思路是证明一个考拉兹数加1或加2之后仍然是考拉兹数,但这样的难度是很大的,原因很简单:N2kk之间不存在一个简单的单调关系。N2k增加12k可以向上(即变大)或向下(即变小)好几位数。

那么是否可以证明由(9a)(9b)表达的两个考拉兹数的(非负)线性叠加仍是考拉兹数呢?这个我也证不出来。到了这一步,我彻底明白接下来就不是我能玩的游戏了,所以就果断地退出了。

结束语

这就是这几年里我所做的唯一彻底失败的一个项目,耗时4天加上在车行的几个小时。

那么我为什么又说它是一次彻底失败之成功”呢?主要有两个原因。其一,我很快判断出其(至少对于不具备相关的计算工具的我来说)之真正难点,从技术上说这算是一种成功;其二,更重要的是我当时理智地抵抗住了的进一步做下去的诱惑而果断地停止了该项目。

读者或许会说:这里能有什么诱惑呢?不会是吃不到葡萄说葡萄酸吧?还真不是那么回事。这里的诱惑还确实很大。诱惑的原因其实很简单:这个问题不但看上去实在太简单了,而且每一步都会让人觉得下一步也很简单。即便是我已经看出其诡谲多变的难点以及对于计算手段(即电脑)的高要求时,仍然会心里痒痒地觉得一定能找出其中的规律而跃跃欲试。所以,当时能够理智地战胜诱惑让我感到是一次比做出来更重要的成功。

 



[[1]]  Muller, D. [Veritasium] (2021). “The Simplest Math Problem No One Can Solve - Collatz Conjecture”. [video] URL: https://www.youtube.com/watch?v=094y1Z2wpJg

[[2]] 雅桑了吗 2023最簡單的不可能解決的小學數學題:3n+1猜想!陶哲軒說不可能證明”. [video] URL: https://www.youtube.com/watch?v=PWxGEOQ6aYo

[[3]] 维基百科“考拉兹猜想”.Retrieved from: https://zh.wikipedia.org/zh-hans/%E8%80%83%E6%8B%89%E5%85%B9%E7%8C%9C%E6%83%B3#:~:text=%E8%80%83%E6%8B%89%E5%85%B9%E7%8C%9C%E6%83%B3%EF%BC%88%E8%8B%B1%E8%AF%AD,%E6%9C%80%E7%BB%88%E9%83%BD%E8%83%BD%E5%A4%9F%E5%BE%97%E5%88%B01%E3%80%82


浏览(2088) (2) 评论(2)
发表评论
文章评论
作者:慕容青草 留言时间:2023-09-11 18:31:23

对于对本文提供的方法感兴趣的考粉们,我在英文版中提供了几个数的参数展开,有兴趣的可以去看:

https://murongqingcao.wordpress.com/2023/09/11/collatz-set/

回复 | 0
作者:慕容青草 留言时间:2023-09-11 12:30:20

澄清一点: 我文中说“那个项目基本上称不上是一个哲学项目”,指的是在得出方程(9)和(10)以后,想继续证明它们覆盖自然数,基本就是数学操作了。。。。但本文得出(9)和(10)的步骤其实还是非常哲学的,与数学界的思路完全不同。。。。

回复 | 0
我的名片
慕容青草
来自: ny
注册日期: 2007-08-15
访问总量: 1,644,117 次
点击查看我的个人资料
Calendar
我的公告栏
复杂情势下之最佳优先考虑
成功与别人的帮助
对抗真理的结果
旧房子的哲学
拔枯树
站与踩
哲学是公开的密码
普朗克论科学真理之传播
黑格尔论学习的过程
黑格尔论逻辑
自勉
欢迎交流
最新发布
· 那就再补充两点
· 关于μ子的两点补充
· 与μ子有关的一个哲学错误
· 当哲学被藐视之后。。。。(2024
· 给Elon Musk提一个建议
· 看来确实小题大做了
· 也许这次我真的小题大做了?
友好链接
· 马甲:马甲的博客
存档目录
2024-05-02 - 2024-05-02
2024-04-01 - 2024-04-30
2024-03-02 - 2024-03-29
2024-02-03 - 2024-02-29
2024-01-01 - 2024-01-30
2023-12-05 - 2023-12-24
2023-11-06 - 2023-11-27
2023-10-02 - 2023-10-29
2023-09-01 - 2023-09-29
2023-08-01 - 2023-08-31
2023-07-01 - 2023-07-31
2023-06-01 - 2023-06-30
2023-05-02 - 2023-05-29
2023-04-04 - 2023-04-29
2023-03-03 - 2023-03-29
2023-02-01 - 2023-02-28
2023-01-01 - 2023-01-30
2022-12-02 - 2022-12-31
2022-11-02 - 2022-11-23
2022-10-09 - 2022-10-31
2022-09-01 - 2022-09-30
2022-08-01 - 2022-08-21
2022-07-02 - 2022-07-31
2022-06-15 - 2022-06-25
2022-05-06 - 2022-05-27
2022-04-07 - 2022-04-30
2022-03-03 - 2022-03-28
2022-02-01 - 2022-02-28
2022-01-01 - 2022-01-30
2021-12-01 - 2021-12-29
2021-11-02 - 2021-11-29
2021-10-02 - 2021-10-29
2021-09-08 - 2021-09-30
2021-08-08 - 2021-08-31
2021-07-18 - 2021-07-26
2021-06-03 - 2021-06-27
2021-05-04 - 2021-05-29
2021-04-04 - 2021-04-28
2021-03-08 - 2021-03-27
2021-02-12 - 2021-02-28
2021-01-04 - 2021-01-28
2020-12-02 - 2020-12-30
2020-11-01 - 2020-11-26
2020-10-06 - 2020-10-29
2020-09-01 - 2020-09-29
2020-08-06 - 2020-08-27
2020-07-02 - 2020-07-27
2020-06-07 - 2020-06-29
2020-05-01 - 2020-05-31
2020-04-17 - 2020-04-30
2020-03-08 - 2020-03-20
2020-02-20 - 2020-02-24
2020-01-10 - 2020-01-31
2019-12-02 - 2019-12-31
2019-11-07 - 2019-11-30
2019-10-07 - 2019-10-30
2019-09-14 - 2019-09-26
2019-08-13 - 2019-08-21
2019-07-23 - 2019-07-29
2019-06-06 - 2019-06-23
2019-05-05 - 2019-05-25
2019-04-01 - 2019-04-22
2019-03-07 - 2019-03-29
2019-02-09 - 2019-02-27
2019-01-01 - 2019-01-21
2018-12-01 - 2018-12-31
2018-11-04 - 2018-11-24
2018-10-01 - 2018-10-30
2018-09-01 - 2018-09-30
2018-08-01 - 2018-08-29
2018-07-02 - 2018-07-27
2018-06-02 - 2018-06-26
2018-05-13 - 2018-05-28
2018-04-03 - 2018-04-28
2018-03-02 - 2018-03-28
2018-02-10 - 2018-02-28
2018-01-08 - 2018-01-27
2017-12-06 - 2017-12-30
2017-11-09 - 2017-11-25
2017-10-15 - 2017-10-15
2017-09-05 - 2017-09-30
2017-08-05 - 2017-08-27
2017-07-14 - 2017-07-24
2017-06-09 - 2017-06-24
2017-05-02 - 2017-05-02
2017-04-04 - 2017-04-26
2017-03-02 - 2017-03-30
2017-02-02 - 2017-02-27
2017-01-25 - 2017-01-30
2016-12-04 - 2016-12-31
2016-11-16 - 2016-11-23
2016-10-04 - 2016-10-27
2016-09-08 - 2016-09-29
2016-08-02 - 2016-08-31
2016-07-02 - 2016-07-27
2016-06-08 - 2016-06-30
2016-05-02 - 2016-05-22
2016-04-01 - 2016-04-13
2016-03-06 - 2016-03-31
2016-02-07 - 2016-02-23
2016-01-18 - 2016-01-18
2015-12-04 - 2015-12-30
2015-11-02 - 2015-11-27
2015-10-25 - 2015-10-29
2015-09-06 - 2015-09-24
2015-07-11 - 2015-07-25
2015-06-22 - 2015-06-22
2015-05-01 - 2015-05-29
2015-04-14 - 2015-04-14
2015-03-07 - 2015-03-22
2015-02-02 - 2015-02-21
2015-01-20 - 2015-01-20
2014-12-06 - 2014-12-06
2014-11-08 - 2014-11-24
2014-10-03 - 2014-10-20
2014-09-09 - 2014-09-27
2014-08-16 - 2014-08-16
2014-07-12 - 2014-07-25
2014-06-08 - 2014-06-14
2014-05-09 - 2014-05-16
2014-04-02 - 2014-04-29
2014-03-01 - 2014-03-28
2014-02-03 - 2014-02-28
2014-01-02 - 2014-01-29
2013-12-02 - 2013-12-30
2013-11-02 - 2013-11-27
2013-10-02 - 2013-10-29
2013-09-02 - 2013-09-28
2013-08-02 - 2013-08-31
2013-07-01 - 2013-07-26
2013-06-05 - 2013-06-21
2013-05-06 - 2013-05-31
2013-04-08 - 2013-04-30
2013-03-01 - 2013-03-28
2013-02-07 - 2013-02-27
2013-01-11 - 2013-01-29
2012-12-01 - 2012-12-26
2012-11-15 - 2012-11-15
2012-10-07 - 2012-10-28
2012-09-05 - 2012-09-28
2012-08-24 - 2012-08-24
2012-07-03 - 2012-07-20
2012-06-02 - 2012-06-30
2012-05-01 - 2012-05-30
2012-04-03 - 2012-04-29
2012-03-01 - 2012-03-31
2012-02-03 - 2012-02-27
2012-01-29 - 2012-01-29
2011-12-02 - 2011-12-13
2011-11-06 - 2011-11-28
2011-10-12 - 2011-10-27
2011-09-24 - 2011-09-24
2011-08-04 - 2011-08-09
2011-07-02 - 2011-07-31
2011-06-06 - 2011-06-28
2011-05-09 - 2011-05-27
2011-04-18 - 2011-04-24
2011-03-10 - 2011-03-23
2011-02-10 - 2011-02-17
2011-01-14 - 2011-01-14
2010-11-26 - 2010-11-26
2010-10-13 - 2010-10-13
2010-09-12 - 2010-09-29
2010-08-22 - 2010-08-29
2010-07-05 - 2010-07-27
2010-06-12 - 2010-06-26
2010-05-09 - 2010-05-29
2010-04-11 - 2010-04-17
2010-03-10 - 2010-03-28
2010-02-16 - 2010-02-16
2010-01-04 - 2010-01-31
2009-12-04 - 2009-12-29
2009-11-22 - 2009-11-26
2009-06-03 - 2009-06-29
2009-05-13 - 2009-05-13
2009-02-13 - 2009-02-22
2009-01-14 - 2009-01-18
2008-12-08 - 2008-12-28
2008-11-01 - 2008-11-29
2008-10-04 - 2008-10-27
2008-09-12 - 2008-09-26
2008-08-01 - 2008-08-22
2008-07-15 - 2008-07-31
2008-06-07 - 2008-06-29
2008-05-01 - 2008-05-30
2008-04-19 - 2008-04-28
2008-02-02 - 2008-02-19
2008-01-08 - 2008-01-28
2007-11-01 - 2007-11-07
2007-10-02 - 2007-10-29
2007-09-04 - 2007-09-30
2007-08-15 - 2007-08-29
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2024. CyberMedia Network /Creaders.NET. All Rights Reserved.