论数学原理及有关系统的形式不可判定命题（The principle of mathematics and the form of related system cannot be judged）.docVIP

论数学原理及有关系统的形式不可判定命题（The principle of mathematics and the form of related system cannot be judged） One, godel incompleteness theorem There is a magical person who in less than two years has given the world of mathematics and logic the experience of going from heaven to hell. This man is from the Austrian godel. As one of the greatest mathematicians and logicians of the 20th century, the position in logic generally compared godel to Aristotle and leibniz; In mathematics, Einsteins contribution to godel was similar to his own contribution to physics. In June 1952, when he received an honorary deg