1天前把号初始化了,但是总觉得有些话想说,故而还魂写一篇东西.应该没人看,也不和任何人搭界,所以这里会讲一些之前不敢挑明的话.
其实我真的不喜欢上zhihu,原因是zhihu的整体水平,氛围都远不如stackoverflow,matheoverflow等问答社区,在zhihu上学不到东西.但是之前我注册了zhihu账号就是这个号,是因为我偶然感兴趣看了ember edison的一个答案.
ember edison是逻辑业余爱好者,很菜.当然我也是业余爱好者,比他更菜,本来"业余人何苦难为业余人",但是:
我确实想搞清楚ember edison一些数哲科普在讲什么,比如"用尽系统内所有可定义的符号","用海狸机列出ZFC所有有意义的定理"等等话是什么意思,这些话散布在他的多处回答里,我开始是相信他的,我想从他那里学点东西.
事情迅速变得不对劲起来,因为我最后发觉他这些言论源于他对于chaitin不完备定理的理解,但是可恶的是,如同国内一切学者不靠谱的谈论一般(比如刘晓力,杨东屏),他们都喜欢说"命题的信息熵超过某个形式理论的信息熵上界时,该命题在该形式理论中不可证",但是这是一个错误的说法,杨东屏是资深的递归论研究人员,他写下这种错误观点也是在几十年前,现在的他应该不会犯这样的错误.刘晓力反正是"哲学系的",她用的说辞是如此含混不清,以至于其实她随便打太极都可以把自己说错的话圆过来,这些就不谈了.
到ember edison这边,他对于chaitin不完备性的理解甚至还附上了他原创的一个短证明:然后他证明了chaitin不完备定理的上述错误版本.这个证明前两点里面假设某些函数原始递归肯定有误,但是具体怎么抠他的错误我也没多想,因为有一个最简单的反驳方案:
如果按照ember的说法,那么这个形式系统里可证的命题数量  (c是该系统的信息熵上界,按chaitin不完备定理的准确版本理解),但是这个形式系统里的重言式数量都是无限的,因此ember的论证一定错误.
之后反正ember自己艾特了zs chen,想说明自己没错,但是结果就是他最后发觉自己确实错了.而我发觉ember对于递归论的理解也有奇诡之处,他甚至不知道递归论的元理论是什么.其实我们平时讲递归论,一般都是隐藏假设了集论作为元理论,如果抠得非常细可以抠到二阶算术的子系统里去,但是ember他似乎只愿意用很弱很弱的元理论,这种态度我也不知道从何而来.
反正本来应该是业余爱好者之间的和平对话,结果变得剑拔弩张,我倒想起另外一件事就是xyan xcllet,现在过去看那个问题发觉ember edison把他的答案删了.当时我从午时葵那儿了解到一些细节.就是学逻辑和学物理的几个人发觉xyan xcllet是个混子,于是策划着把他搞死,当时复旦的徐大二等人非常卖力,以至于这件事最后搞得很戏剧化,xyan xcllet成了几个群里的笑料,大家上线不是先聊逻辑,而是先嘲笑xyan xcllet,然后再聊逻辑.ember edison肯定不爽,因为业余爱好者惺惺相惜,而且他和xyan xcllet走得很近,此时也被牵连一并嘲笑.于是各种传言"ember是斗兽爱好者,ember是汪峰在和大数吧的斗犬,ember是修仙网络小说设定群的......"此时ember也回怼了一下:
你们专业的不是牛逼吗,牛逼怎么一直在看戏,说到底都是不愿意普及知识的躺平懒狗,我们业余爱好者为了科普干脏活,是(普罗米修斯一般的)文明种火传播者......总之那几句话倒是有点意思也有点道理,我自然也有些认可他这番话的地方 -  - 如果网络环境糟糕谬误横行各种如同"谢特霍尔"一般的答案占据着高赞,那么你们专业人士的社会责任感在哪儿呢?
但是这也不合理,要求太高了.专业人士为何专业 -  - 他们学习的是前沿课题,需要发表至少"在当下具有可发表价值"的质量过硬的文章.你去翻看一下JSL,看看冯琦,喻良等人的工作,这才是正儿八经的工作嘛!至于网上平台已经沦为小白互掐,错误横行的"谢特霍尔",这和我们专业人士何干?
那么指望逻辑专业的学者去普度众生肯定不现实,再看看哲学界 -  - 但是国内哲学界老圈子里本来靠谱的东西就不多,反正如同研究科哲的人那样,在本土刊物上水几下就ok了,反正没人看,同行发现错误也没必要指出,都是在水,大家不点破,都混到退休就行.
这里就说一下另外几件事.大家都知道的就是徐明,康宏逵怒怼鞠实儿,怼得鞠实儿几乎是完蛋的那种不留情面.但是风头一过,鞠实儿照样吃香的,喝辣的.
午时葵也有发现,就是他有一次想了解一点国内无穷逻辑的研究情况,就去翻李小五以前的专著"无穷逻辑",发觉李小五抄Barwise的书那个利索,连目录都不带修改的.
不过我自己还有另外一些发现,南航的朱梧槚,之前曾经用黑格尔辩证法研究集合论,并且杜撰出"布劳威尔剧场"等等极其神棍民科的说法,你去挖他的黑料简直不忍直视.张家龙,社科院的,编的逻辑史全是自high的私货,被康洪逵猛怼,但是糟糕的是我围观张家龙的作品发觉他还有另外的癖好:总是喜欢扯上马哲,看来是"老哲学人"了.李娜,南开大学哲学教授,但是早年居然研究课题是"不完备定理,力迫法",然后无非是复读了一遍国外教材,我倒想问她,这两样本科教材水平的东西当年她如何立项作为研究课题的?
我感觉再说下去大概要得罪国内太多"哲逻圈老人"了,说他们"哲逻圈"因为他们只懂抄书,或者只懂翻译,翻译完了出版一本没人看的专著挂在cv上假装有什么成果,但是他们有在JSL上发表正儿八经"具有发表价值"的论文吗?没有.因此我甚至不能认为他们是"逻辑圈"的.再者,他们是"老人",因为也只有那样的荒谬年代能产生这批混退休的人,按照现在的标准他们连普通211的博士后估计都申请不到.
处在金字塔顶端的"逻辑专业研究人士"当然是高端,靠谱的,他们受过国外正统的教育,师从某个逻辑大咖,自己也不屑于在国内刊物上发文,不过当然他们也没普度众生的义务.
国内的"哲逻界老人"等着退休,并且处在鄙视链的末端,当然大家抬头不见低头见,也没必要闹得太僵,反正彼此不影响就是.这部分人只要不祸害业余爱好者就ok了,不指望他们能干什么.
至于业余爱好者,活跃的太出格很容易遭到无情铁锤,而这样的无情铁锤可能还来自友军,真是"业余人何苦难为业余人",again,居然同情起xyan xcllet来了,但是他做的事情确实太出格传播了太多谬误,这一点没得洗.
反正我当时发觉居然zhihu上没有靠谱的对于不完备定理的科普,zs chen虽然从若干个方面讲了很多内容,但是太零碎.
zs chen讲过的大概有:smullyan的打字机比喻,算术的非标准模型,不完备定理在集论方面的应用等等.他在站内信里和我讲到自验证理论,说明其实他愿意真正科普的话,可以深挖穷尽这个话题.
在zs chen发给我站内信之后,我开始是说我对哲学不感兴趣云云,其实还是怕和他说多了暴露自己什么都不懂的事实.但是我后面马上就去mathoverflow找答案去了解他提及的几个问题了,发觉其实都是证明论的内容.其中最具争议性的是"Q的第二不完备定理",我们知道就是在一个足够强的系统里典范一致性语句表达了"这个系统一致"是几乎无疑问的,但是到了很弱的系统里提出所谓的"一致性语句"那么这里就有问题,这个句子是否表达该系统一致?这叫做"内涵责难",而这里牵涉到无论是哲学家还是哲学话题都很多,feferman,pudlak等人都牵涉进去不算,挖下去就要用到bounded arithmetic的结果,简直是直接劝退的一个话题