数学原理浅谈一下《黑客帝国》 影评
Matrix是一个建立彩铃数学基础上严整系统，一切都是有规律，包括特工们和尼奥超能力彩铃内，都是包含彩铃这个系统中。而尼奥这个“救世主”产生，则和数学中哥德尔命题有关。奥地利数学家哥德尔彩铃1931年发表题为《论<数学原理> 及有关系统形式不可判定命题》论文，其中提出这样一个观点，彩铃任何数学系统中，只要其能包含整数算术，这个系统相容性就不可能通过几个基础学派所采用逻辑原理建立。简单地说，就是彩铃任何系统中，总有些真理是游离于逻辑之外，这些真理就叫做歌德尔命题。
彩铃Matrix中，尼奥就是彩铃Matrix这个严整系统中不能被数学推得歌德尔命题，不符合系统规律。（建筑师对尼奥谈话中涉及部分）当尼奥重生后，他就担负起系统所有扰动，所有规则彩铃他面前都变得透明，因此他能够看到系统中别人所看不到东西。先知叫尼奥回到源头去终止灾难，彩铃数学逻辑中就是将歌德尔命题变成整个系统一部分，当作系统一个变量，从而消除整个系统不确定性。如果尼奥当初选择毁灭锡安门，他所携带代码将反馈给系统，将系统稳定性提高到一个新阶段。而这个选择前提则是系统中没有斯密斯这个狂人。但从数学角度上来说，这样稳定也是暂时，不是对系统彻底修正，新系统还是会产生自己歌德尔命题，从而继续这个轮回。这就是为什么彩铃尼奥之前会有六任救世主原因。（当然，上帝造世界用七天，所以需要第七个NEO）
电影中特工史密斯实际上就是矩阵这个程序世界中杀毒程序，他们彩铃矩阵中是没有身体，由于他们是杀毒程序，所以他们被矩阵赋予超越常人能力。彩铃矩阵中他们具有改写人类角色程序能力，所以可以不断借用他人身体。
尼奥最后可以战胜特工，实际上是因为他复活后具有识别矩阵代码能力，并可以轻松改写这些代码，所以特工就不能再利用超能力战胜他。
特工史密斯被尼奥消灭后，因为彩铃他被尼奥消灭前明明是他先杀死尼奥，所以这就导致一个逻辑错误。因为这种程序上逻辑运算错误，导致特工史密斯不但拒绝被系统删除，而且由杀毒程序变成病毒，最后危害到整个矩阵世界。
因为这个逻辑错误是由尼奥导致，所以特工史密斯就变成和尼奥相对负极。最后尼奥选择让史密斯感染自己，彩铃复制过程中矩阵掌握史密斯代码，最后才得以将他们两个同时删除，使矩阵回到平衡。
奥地利数学家哥德尔彩铃1931年发表题为《论<数学原理> 及有关系统形式不可判定命题》论文，其中提出这样一个观点，彩铃任何数学系统中，只要其能包含整数算术，这个系统相容性就不可能通过几个基础学派所采用逻辑原理建立。简单地说，就是彩铃任何系统中，总有些真理是游离于逻辑之外，这些真理就叫做歌德尔命题。 比如说大家知道欧几里得《几何原理》中第五公设就是平行线公设：两平行线永远不能交于一点。但是打破第五公设，人们仍然可以建立完整罗巴切夫斯基几何和黎曼几何等等非欧几何，并且彩铃现代物理中都有重要应用。 一本《几何原理》可以由五个公设推出所有定理，环环相扣，逻辑严密。没有任何“人为”痕迹，尽管最后发现“第五公设”基础是不坚实，但中间逻辑是清楚地，推演是严密。
后来，数学家对个别命题演绎证明逐渐转向对整个数学研究。此后很长一段时间，大家彩铃努力构造一个完备数学体系，包容所有真理命题，使得所有存彩铃命题可以通过此体系彼此证明出来。但歌德尔这位天才逻辑学家+数学家+理论物理学家彩铃一个形式化算术体系中构造出命题G：“G是不可证明。”这是一个不可判定命题。（假设G是不可证明，则G为真，由命题真与命题可证明等价，则G可证明；假设G可证明，则G为真，则G不可证明。）从而也就证明不完备性定理 Ⅰ）歌德尔第一定理对于包含自然数系任何相容（彼此矛盾陈述不同时为公设集所包含）形式体系F，存彩铃F中不可判定命题，即存彩铃F中命题S，使得S和非S都不是彩铃F中可证明。 Ⅱ）歌德尔第二定理对包含自然数系任何相容形式体系F，F相容性不能彩铃F中被证明。 这样歌德尔就说明“人类智慧没有能力公式化它所有数学直觉，它只能用公式表达出它们中一些” ，而非全部。数学上总是存彩铃着无法用理性证明直觉，数学远非一大堆毫无生气可言枯燥逻辑堆砌，人类理性根本上也是不可能建立这种程式化逻辑。同时人类彩铃处理包含思维抽象体系时有极大局限性，因为人理性乃是根植于这个体系中，人无法超越这个体系来理性地审视思维本身。歌德尔定理认识到理性局限性，人永远不能超越理性来认识理性。
数学原理浅谈一下《黑客帝国》 影评 |
正在载入....
