论文部分内容阅读
计算机在人类生活中的地位越来越重要,应用也越来越广泛,人们越来越离不开计算机,而计算机给我们的不成熟、不稳定、不安全、不科学的因素,不得不让人们反思自己的过多依赖计算机的行为.从元数学的高度来看,计算机科学还不能称之为科学,称为计算机技术可能更为确切一点,因此,本文给出元数学对计算机这一技术领域的诸多方面的有益启示,包括对计算机技术特定领域形式化的启示,计算机若干技术的元数学根据,对计算机本质及计算能力的认识的启示,为计算机能象数学一样成为科学迈出思考的第一步.
Computers have become more and more important in human life and have been applied more and more widely. People are inseparably less and less able to do computers, and computers give us immature, unstable, unsafe and unscientific factors that have to be People reflect on their own too much dependence on the behavior of the computer from the metaphysical point of view, computer science can not be called science, known as computer technology may be more precise point, therefore, this paper gives the meta-mathematics of this technology The enlightenment of many aspects of the field, including its enlightenment on formalization in specific fields of computer technology, the metaphysical basis of several computer technologies, and its enlightenment on the understanding of the essence and computing power of computers, has given science a consideration for computers like mathematics first step.