Matrix中的救世主

　　Matrix是一個建立在數學基礎上的嚴整系統，一切都是有規律的，包括特工們和尼奧的超能力在內，都是包含在這個系統中的。而尼奧這個“救世主”的産生，則和數學中的哥德爾命題有關。奧地利數學家哥德爾在1931年發表了題為《論<數學原理>及有關系統的形式不可判定命題》的論文，其中提出這樣一個觀點，在任何數學系統中，只要其能包含整數的算術，這個系統的相容性就不可能通過幾個基礎學派所採用的邏輯原理建立。簡單地説，就是在任何系統中，總有些真理是游離于邏輯之外的，這些真理就叫做歌德爾命題。

　　在Matrix中，尼奧就是在Matrix這個嚴整系統中不能被數學推得的歌德爾命題，不符合系統的規律。（建築師對尼奧的談話中涉及部分）當尼奧重生後，他就擔負起系統所有的擾動，所有的規則在他面前都變得透明，因此他能夠看到系統中別人所看不到的東西。先知叫尼奧回到源頭去終止災難，在數學邏輯中就是將歌德爾命題變成整個系統的一部分，當作系統的一個變量，從而消除整個系統的不確定性。如果尼奧當初選擇了毀滅錫安的門，他所攜帶的代碼將反饋給系統，將系統的穩定性提高到一個新階段。而這個選擇的前提則是系統中沒有斯密斯這個狂人。但從數學的角度上來説，這樣的穩定也是暫時的，不是對系統的徹底修正，新的系統還是會産生自己的歌德爾命題，從而繼續這個輪迴。這就是為什麼在尼奧之前會有六任救世主的原因。

　　按照建築師最初編寫救世主時的任務，救世主的使命就是在錫安運行一段時間後，將錫安的代碼帶回到Matrix的源程序進行重裝，同時機器摧毀錫安，完成Matrix系統的升級。之後救世主將按照初始設置，帶領16女7男返回真實世界，再開始重建錫安，等待下一代的救世主。而尼奧與前任們不同的是，建築師在他的意識中編寫了關於愛的編碼，這本來是系統處於不斷升級的需要，也是考察人類反應的新實驗。但這個關於愛的編碼，不但導致了尼奧在第二集中做出違背程序設置的選擇，而且在第三集中將“愛情”昇華為“博愛”，從而最後終結了戰爭，終止了矩陣和錫安之間的循環。