元数学对计算机科学的启示

计算机在人类生活中的地位越来越重要,应用也越来越广泛,人们越来越离不开计算机,而计算机给我们的不成熟、不稳定、不安全、不科学的因素,不得不让人们反思自己的过多依赖计算机的行为.从元数学的高度来看,计算机科学还不能称之为科学,称为计算机技术可能更为确切一点,因此,本文给出元数学对计算机这一技术领域的诸多方面的有益启示,包括对计算机技术特定领域形式化的启示,计算机若干技术的元数学根据,对计算机本质及计算能力的认识的启示,为计算机能象数学一样成为科学迈出思考的第一步.