论数学道理及有关系统的形式弗成剖毕命题（国外英文资料）.docVIP

论数学原理及有关系统的形式不可判定命题（国外英文资料） One, godel incompleteness theorem Have a magical people in less than two years time to maths, logic circles with the experience from heaven to hell, this man is from Austria, his brother del. As one of the greatest mathematicians and logicians of the 20th century, the position of logic was generally compared with the comparison between godel and Aristotle and leibniz; In mathematics, Einstein regarded godels contribution as his own contribution to physics. In June 1952, when Harvard University awarded godel an honorary degree, he called him the discoverer of the most significant mathematical truth of the 20th century. In godel discovered is called the most meaningful mathematical truths of the 20th century, the most outstanding, is the most representative and most powerful godels incompleteness theorem. In 1929, in his doctoral dissertation godel proved completeness of first-order logic, namely, the logic of godels completeness theorem, for when trying to up on the basis of the axiomatic method to build mathematical formalism school is a great encouragement. But in the second year, followed by godel published on mathematical principles and relevant system undecidable propositions in the form of paper, opened a Pandoras box, Hilbert of disillusionment. Godels incompleteness has two incompleteness theorems. That is, godels first incompleteness theorem: a system that is not weak in the elementary number theory, if it is consistent, is incomplete. Its intuitive meaning can be roughly described: a theory, if enough power of expression and reasoning ability, so, as long as it doesnt prove contradictory to the conclusion that there must be some kind of truth, it cannot prove. Whether a system is consistent is whether it is not inconsistent, whether it is possible to ensure that two contradictory propositions are not available in the system; Whether the system is complete or not, whether the relevant true propositions can be proven in the system