摘要
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 Gdel’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 Gdel’s Theorem in its background from its coming into being, its main ideas, and its deep of thought and significance. Finally, the author puts Gdel’s theorem into the circumstance of the development of cognitive science, analyzes the limitation of the method of formalization from Hilbert to Gdel, and the significance of this famous theorem to cognitive science.
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 Gdel’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 Gdel’s Theorem in its background from its coming into being, its main ideas, and its deep of thought and significance. Finally, the author puts Gdel’s theorem into the circumstance of the development of cognitive science, analyzes the limitation of the method of formalization from Hilbert to Gdel, and the significance of this famous theorem to cognitive science.
出处
《哲学研究》
CSSCI
北大核心
2007年第7期97-105,共9页
Philosophical Research
