论形式化

The very important legacies among human cultures in the 20th century are of formalization, digitalization and virtualization that are also necessary knowledge for philosophers in the 21st century. Formalization is the foundation of digitalization, therefore of virtualization. The most significant product in the development of formalization was Gdel’s theorem in 1931 that has been having great influence in mathematics, logic, physics, philosophy, and in cognitive science that rose a few decades. This paper analyzed Gdel’s Theorem in its background from its coming into being, its main ideas, and its deep of thought and significance. Finally, the author puts Gdel’s theorem into the circumstance of the development of cognitive science, analyzes the limitation of the method of formalization from Hilbert to Gdel, and the significance of this famous theorem to cognitive science.