今夜只聊文学

若高叉格地聊 , 就得建模 。乔治·奥威尔的《一九八四》里有一个真理部(Ministry of Truth) , 专司真理制造 。 改写历史文献 , 审查报纸和小说 , 解读新闻 , 每一项关乎是非的事项都归真理部管 。 可日子一长 , 人们就发现了一个规律:跟着真理部 , 年年犯错误 。 这个规律 , 可谓之奥威尔定理 。 究其成因 , 尽在零真理公理:​∀x∈T→x∉M​式中 , T为真理命题全集 , M为来自人为且真值=1的真理 。 上式表征 , 真理不可能出自人为 , 即M=∅.​​本帖尝试给出奥威尔定理的一阶逻辑证明 , 以飨众猫 。​设一阶命题P=跟着真理部 , E(P)为跟着真理部而年年犯错误的概率 , 0≤ E(P)≤1 , 则奥威尔定理可定量地表述为:​P→E(P)=1证明:令t为时间 , Ey(P)为跟着真理部而于第y年犯错误的概率 , 则​∃y∧Ey(P)=0⇒∃x:∈T∧x∈M⇒M≠∅⇒﹁(∃y:Ey(P)=0)⇒P→E(P)=1证毕 。​论文学 , 猫眼科班如林 , 三畏抛砖引玉了 。 但是 , 为了我凯我猫的叉格建设 , 离开建模而以杂文扯淡者将被一键拉黑 。


    推荐阅读