数学机械化的现状与展望

摘要

电子计算机的出现和发展,对现代科学技术产生了巨大和深远的影响。近年来科学园地一个新枝—数学机械化,正以与日俱增的果实吸引着人们的注意力。数学机械化就是数学研究工作的计算机化,它已成为近年来国际上颇受重视的研究课题。历史的回顾数学研究是一种典型的脑力劳动。在这个纵横交错、高度抽象的思维王国里,它以数和形的巧妙变化,在人类文明史上放射出奇光异彩。数学的脑力劳动大体有两种类型:一种是规律性强,历史的回顾数学研究是一种典型的脑力劳动。在这个纵横交错、高度抽象的思维王国里,它以数和形的巧妙变化,在人类文明史上放射出奇光异彩。数学的脑力劳动大体有两种类型:一种是规律性强,