今夜只聊文学

若高叉格地聊，就得建模。乔治·奥威尔的《一九八四》里有一个真理部(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证毕。论文学，猫眼科班如林，三畏抛砖引玉了。但是，为了我凯我猫的叉格建设，离开建模而以杂文扯淡者将被一键拉黑。