现代物理以现代数学为嚆矢;现代数学以现代逻辑为嚆矢。
现代逻辑与现代哲学,以莱布尼茨的一句拉丁文“Calculemus(让我们计算)”为嚆矢。滥觞于古代希腊的对话式哲学传统正在失去其借鉴意义。然而,面对看似无垠的思想天空,我想遵循苏格拉底的精神助产术胜于过早地振翮。
我们怀揣热忱的理性天然被赋予对可以确定所有形式化命题真值的算法的追求,不屑于自然语言的约束,钟情于形式语言的芬芳。然而,当这种期望流于对柏拉图主义不假思索的批判,乃至滑向逻辑主义(数学哲学)、形式主义(数学哲学)、行为主义(心灵哲学)与心灵计算理论(心灵哲学)时,便值得警惕了。与传统哲学的落差、错位向来不能为越矩的理念张本。纵然已有翔实的希尔伯特计划,我们仍不能自持已在浪潮之巅立下了自己的沉锚。
“如果T是一个包含算术语言Lᴬ的语言L中的一个包含罗宾逊算术的可公理化的一致的理论,那么存在一个L中的命题G,使得G与¬G皆不可在T中被证明。”哥德尔此言可谓切中了肯綮。人非证明机器,人的精神性是不可祓除的,而我们欲上青云也无时无刻不在因风借力。精神概念暂且被我们把握为一个薄脊的符号客体,一定程度上是因为我们尚缺乏体验与阅历去支撑自己的认知,而这种方法论的傲慢更远在本体论的傲慢之上。
在孜孜矻矻以求数学哲学的道路上,对数理逻辑的期望本就是在与数学史与数学直觉的对接中塑型的动态过程。我们的底料便是对各种不同的具体数学分支的觉感与体认。生活在数上的王浩修补蒯因公理系统的漏洞,在 IBM 704 计算机上用 9 分钟时间证明了罗素与怀特海合著的《数学原理》(Principia Mathematica)中数百余条定理,又捍卫哥德尔的哲学。他的数学哲学观念是厚实的,也是实践的。倘若我们在对极限概念借柯西与魏尔施特拉斯之言“祓魅”后,又对不断膨胀的布尔巴基主义进行“赋魅”,那么在丢失外界预期的同时,未尝不是丢了自我。
毫无疑问,从数学史与数学直觉角度一觇的数学哲学有偏狭守旧的成分,但我们所应摒弃的不是对此的批判,而是其批判的廉价,其对批判投诚中的反智倾向。在图灵的观念中,如果在“证明停机问题无解”之前,略去了“假设停机问题有解”的过程,那么对“永恒循环”的证明洵不能成立。何况当一些北大纯数博士毕业生顺从果腹的需求,选择去搞迎合市场的概率论与数理统计,将他二十二年的寒窗生涯降格为金融的奴隶,我们没有资格斥之以媚俗。
蓝图上的落差终归只是概念上的区别,在实践场域的界线也未必清晰。譬如当我们追寻纯粹数学之所向时,在途中涉足物理应用的玉墀,这究竟是伴随着理想的泯灭还是理想的达成?在我们塑造数学的同时,数学也在浇铸我们。既不可否认数学原生的历史性与直觉性,又应当承认自己的公理集合论图景有轻狂的失真。不妨让“使用”走在“定义”之前,让“数学的绽放”走在“数学的统一”之前,用不被禁锢的头脑去体会庄子的“蝼蚁”与“屎溺”,去品味布劳威尔对非构造性证明与对实无穷的怀疑,并且遵从后期维特根斯坦的教导,对日常语言保持敬畏。
以在数上的生活方式体现精神的超越性,保持婞直却又不拘泥于所谓“遗世独立”的单向度形象,这便是锡诺普的第欧根尼为我们提供的理想期望范式。生活在数上——始终憎恶地狱——升上天堂。
因为你是瑕疵品啊……
没错,因为你的瑕疵太多了,从你生下来,喝的就是有瑕疵的母乳,不论是进食还是排便都不是最优化的。更别说你的DNA上有无数潜在的瑕疵,你大概率都活不过100岁。你所处的有瑕疵的成长环境让你的人格、身体、三观都有一定程度的瑕疵。当然更重要的是理解能力和智商。正是因为这些瑕疵让你不能通过直接阅读论文来获得相对而言瑕疵较少的理论。而需要有瑕疵的老师先传授你有瑕疵的理论,而这个理论你的理解还很难做到完美,为了向你这种次品妥协,我们不得不把理论再度大幅度简化让你更容易理解和接受。事实上这不是最高效的传授模式,这对于某些学霸来说是不公平的,他们的瑕疵比你少,却因为你的理解能力缺陷而不得不和你同步学习进度……
福奇冤归冤,但是也算不得美利坚的纯臣,我们选几个比较关键的时间节点。
3.12,福奇在国会听证会上预言如果不采取措施会有数百万人确诊,此时全体不戴口罩,同时福奇还说美国检测能力不够,是一个失败。
3.14,特朗普表示自己不会为检测能力不足负责,并声称“现在我们的状况非常非常好”
3.21,懂王说出了“深层政府(deep state)”,福奇战术擦汗,然后就消失了几天
3.26,福奇再次出席疫情发布会,此时世卫组织表扬中国的做法,福奇面对记者的提问一直回避谈及中国
3.30,懂王放弃复活节(4.4)复工,隔离至4月底,福奇接受采访时表示自己和懂王激烈争论
4.3,福奇接受CNN采访,继续diss懂王,懂王上一天刚表示没有必要发布全国的居家令,这边福奇就。。。。。。
4.6,福奇到此时为止仍然没有在任何公共场合戴过口罩!当然懂王更没有!我觉得中国那几个戴反口罩被疯狂diss的官员是真的冤。福奇还回答了不戴口罩的理由,“是为了防止自己传染给别人”,懂王表示非常喜欢这个答案,声称自己会继续不戴口罩,我tm黑人问号脸。此时CDC已经要求美国民众在公共场合佩戴面罩,结果政府首脑和首席专家都不戴,这示范效果。。。。。
4.14,懂王误转发了推特,否认了解雇福奇的传闻,表示很喜欢福奇
以上这段时间可以视为福奇和懂王的“有限合作期”,双方互相diss,但是都有所让步,懂王还是听取了一些建议,福奇也出了“不建议戴口罩”这样的送命题,直到
6.18,福奇推翻了自己之前的论述,说一开始不建议戴口罩是为了防止普通人和医务人员抢口罩,求美国人民的心理阴影面积
他前后不一的说法还有死亡人数统计
4.9
5.13
前后不到一个月就了转反
当然,还有瑞德西韦。。。。。。4.29福奇说对新冠有效,5.2懂王就批准瑞德西韦紧急使用授权
但是实际上从四月中下旬开始,懂王就和福奇进入了“分道扬镳期”,撕逼力度逐渐升级
4.16,福奇反对懂王的五月一日复工计划
4.24,懂王反对福奇“检测能力不够”的说法
5.6,福奇反对懂王的“中国病毒”说法
之后双方就“复工”、“检测”、“保持社交距离”、“疫苗”、“口罩”等多次冲突,在媒体上的说法大相径庭,我觉得双方关系激化的时间点在5.6懂王宣布准备解散疫情工作组,
等到两个月之后的7.12,福奇说自己两个月没给懂王汇报了,懂王则一反之前的说法,宣称福奇犯了很多错误,毕竟我们都知道,没有人比懂王更懂新冠,此时可以认为懂王和福奇彻底决裂,懂王开始甩锅。
虽然之后双方有过缓和
7.16
但是直到7.31,懂王才再次和福奇出席同一场合,此时距离上次同框已经差不多三个月了
还有个比较有趣的消息,8.5福奇说自己直到白宫要什么,但是自己监管疫苗的研发,不手政治干扰,而懂王说疫苗可能会在大选前搞出来,这意思很明显了吧。
最近福奇的锅我们也都看到了,总体上这大半年,福奇和懂王的关系从有限合作到彻底分道扬镳甚至敌对,当然,这种敌对是单向的。
福奇在这个位置上能坐这么久,绝对不是一个不懂政治的纯科学家,他在一开始的表现并不完全符合科学。一方面限于美国当时的状况,比如口罩确实缺,但是缺的原因我们也知道是因为附马爷要捞钱,另一方面要依赖特朗普政府的行动,所以福奇对于懂王的一些反智言行都保持了沉默。
然后第一波疫情没搞定,懂王和福奇就产生了不可调和的矛盾,主线是复工,支线是黑命贵等一系列街头运动,福奇实在是带不动了。对于懂王而言,福奇的作用在于
①控制疫情,但是懂王不能承受全面隔离的代价,我们甚至可以想的极端一点,如果懂王英明神武,起手全国隔离十四天,一波搞定疫情,美国人民能意识到这事的严重性吗?当然不会,毕竟善战者无赫赫之功,赢了疫情输了选举怎么办?更别说民主党肯定搞事,更妙的是之前才狠喷过中国没有人权,现在只能硬着头皮上了。
所以5月份之前的福奇就是一个吉祥物,给美国人民和全世界展示一下懂王政府抗疫的决心,结果福奇真的想做事,那这冲突就开始了。而5月份破百万之后美国的疫情已经无可控制,福奇连花瓶都不如了,所以双方开始在媒体上互相打脸,但是福奇仍然保持了很高的素质,连阴阳怪气都没有,全程讲科学讲道理,甚至被人问及对懂王的负面评价,也是否认三连。对于懂王而言,福奇的作用只剩下
②搞出疫苗,而且要在大选前搞出疫苗,这样才能提振选情,这个时间点我估计是8月到10月,过早或者过晚都不能给懂王足够的助力。但是特么不巧的是,之前黑命贵等一系列街头运动结出硕果,美国的确诊在7月下旬有一波高峰,7.31日增8万5,赶上中国半年,15天内增长了100万,福奇又被que到,继续表示要真·停工,懂王转发了并评论说是因为美国检测多。。。。。。。
后面直到10月份福奇的消息都不多,大概是全力搞疫苗去了,也有消息说是被限制发言,然后疫苗直到现在也没搞出来,进度落后于中国,对于懂王而言,福奇现在已经没有利用价值了,同时又要为自己的失败找借口,那当然要甩锅福奇。10月20日,注意这个时间点,美国很多州都已经有不少选民完成了投票,福奇此时就算搞出疫苗对于特朗普而言也回天无力了,懂王说“福奇是个灾难”,没错,福奇确实成了懂王的灾难。
但是我对懂王的行事风格并没有感到惊讶,毕竟之前班农被抓,懂王说自己跟他不熟,这可是2016年助他登上帝位的黑衣国师,尚可卸磨杀驴切割干净,遑论福奇。至于懂王的选民,那真的是四肢发达,我也不理解他们威胁要刺杀福奇是个什么操作,可能这就是美国精神吧。
我现在只希望懂王继续当选,带领美国走向更大的胜利。