On the mathematical principles of the hacker empire

Matrix is a strict system based on mathematics. Everything is regular, including the super powers of agents and Neo. The generation of NEO, the savior, is related to the Godel proposition in mathematics. In 1931, the Austrian mathematician Godel published a paper entitled "theory of <mathematical principles> and the form of the relevant system cannot determine the proposition", which puts forward such a viewpoint. In any mathematical system, as long as it can contain integer arithmetic, the compatibility of this system cannot be established through the logic principles adopted by several basic schools. Simply put, in any system, there is always some truth beyond the logic, which is called the geder proposition.

In matrix, Neo is a geder proposition that cannot be pushed by mathematics in matrix, which does not conform to the rules of the system. (Part of the architect's talk to NEO) when NEO is reborn, he assumes all the disturbances of the system and all the rules become transparent to him, so he can see what others in the system cannot see. The Prophet called NEO back to the source to terminate the disaster. In the mathematical logic, he turned the geder proposition into a part of the entire system and treated it as a variable of the system to eliminate the uncertainty of the entire system. If Neo had chosen to destroy the gate of Xi 'anCodeFeedback to the system to improve the stability of the system to a new stage. The premise of this choice is that there is no SMIs in the system. However, from a mathematical point of view, such stability is also temporary. Instead of making a thorough correction to the system, the new system will still generate its own geder proposition to continue this cycle. That's why there were six savior before Neo. (Of course, it took seven days to create the world of God, so we need the seventh Neo)

The movie's Agent Smith is actually a matrix.ProgramThe antivirus programs in the world do not have the body in the Matrix. Because they are antivirus programs, the matrix gives them the ability to surpass ordinary people. In the matrix, they have the ability to rewrite human role programs, so they can constantly borrow others' bodies.

In the end, Neo can beat a special agent because he has the ability to recognize matrix code after the Resurrection and can easily rewrite the code. Therefore, the special agent cannot use super power to defeat him.

After the removal of Agent Smith by Neo, it was clear that he killed NEO before his removal, which resulted in a logical error. Because of this logic operation error in the program, the Agent Smith not only refused to be deleted by the system, but also changed the antivirus program into a virus, which finally compromised the entire Matrix world.

This logic error is caused by Neo, So Agent Smith becomes the opposite pole of NEO. Finally, Neo chose Smith to infect himself. During the replication process, the matrix mastered Smith's code, and finally they were able to delete both of them at the same time, bringing the matrix back to the balance.

In 1931, the Austrian mathematician Godel published a paper entitled "theory of <mathematical principles> and the form of the relevant system cannot determine the proposition", which puts forward such a viewpoint. In any mathematical system, as long as it can contain integer arithmetic, the compatibility of this system cannot be established through the logic principles adopted by several basic schools. Simply put, in any system, there is always some truth beyond the logic, which is called the geder proposition. For example, we all know that the fifth Public Design in Euclidean's ry principle is the parallel line public design: two parallel lines can never be handed over to one point. However, by breaking the fifth Public Architecture, people can still establish a complete non-European ry, such as the luobalski ry and the riman ry, and have important applications in modern physics. A book "geometric principles" can be used to publish all the theorem by five public settings, which are interlocking and logically rigorous. There is no trace of "artificial". Although it is found that the foundation of "fifth Public configuration" is not solid, the logic in the middle is clear and the deduction is rigorous.

later, mathematicians gradually turned to the study of the entire mathematics to prove the deduction of individual propositions. For a long time, everyone has been striving to build a complete mathematical system that embraces all truth propositions, so that all existing propositions can be proved by this system. But geder, the talented logologist + mathematician + theoretical physicist, created the proposition g in a formal Arithmetic System: "G is unverifiable ." This is an uncertain proposition. (If G is unverifiable, then G is true. If it is equivalent to a proposition, G can prove it. If G is verifiable, G is true, then G cannot be proved .) This proves the incompleteness theorem I) F, there is a non-deterministic proposition in F, that is, the proposition s in F, so that S and non-s are not verifiable in F. Ii) for any compatible form system f containing natural numbers, the compatibility of F cannot be proved in F. In this way, geder explains that "human wisdom is incapable of formulating all of its mathematical intuition, and it can only express some of them using formulas", not all. There is always an intuition in mathematics that cannot be proved by reason. Mathematics is far from a pile of boring logic without anger. It is impossible for human reason to establish such a stylized logic. At the same time, human beings have great limitations in dealing with abstract systems containing thinking, because human reason is rooted in this system, and people cannot go beyond this system to rationally examine the thinking itself. The geder theorem recognizes the limitations of reason, so that people can never recognize reason beyond reason.