Godel is a famous Austrian-American mathematician. The incompleteness theorem was put forward by him in 193 1. This theory has made epoch-making changes in the basic research of mathematics and is a very important milestone in the history of modern logic. This theorem, together with Talsky's theory of formal language truth, Turing machine and judgment, is regarded as the three philosophical achievements of modern logic science. Godel proved that any formal system, as long as it contains a simple elementary number theory description and is self-consistent, must contain the proposition that the methods allowed in some systems can neither prove truth nor falsify.

Godel is the greatest mathematician and logician in the 20th century. His position in logic is generally compared with Aristotle and Leibniz; In mathematics, Einstein compared Godel's contribution with his own contribution to physics. 1952 In June, when Harvard University awarded Godel an honorary degree in science, he was called "the discoverer of the most meaningful mathematical truth in the 20th century". Among the "most significant mathematical truths of the 20th century" discovered by Godel, the most outstanding, representative and powerful is Godel's incompleteness theorem? .

But the influence of Godel's incompleteness theorem goes far beyond the scope of mathematics. It not only revolutionized mathematics and logic, but also caused many challenging problems. It also involved philosophy, linguistics, computer science and even cosmology. On August 17, 2002, the famous cosmologist Hawking delivered a report entitled "Godel and M Theory" at the international conference on string theory held in Beijing, arguing that it is impossible to establish a single grand unified theory to describe the universe, and its theoretical basis is Godel's incompleteness theorem.