【代数数论导引】张贤科湖南教育.pdf
现代数学书丛 代数数论导引！张贤科著
序 科学技术是第一生产力,经济发展必须有科学技术的支持.特别是进入21世纪后,科技的进步更将成为经济发展的主要动 力,其中基础性的创新研究,将使经济出现飞跃式的进展,这已 为过去的历史所证明,并已成为全世界有识之士的共识,对我 国来说,科技兴国,已是当务之急,这些也已成为全国有识之士 的共识.数学作为一门基础学科,向来被认为是基础的基础,数学 主要研究数量关系与空间形式,电通过数量关系与空间形式而 渗透到种种各别的科学领域,一门科学的成熟程度,往往以应 用数学的深入程度为一项重要衡量标志在进入21世纪时,数 学如何发辉它应有的作用,以支持并促进我国科技的进步与经 济的发展,乃是一项重大的
数学中的公理化演绎体系几乎是尽人皆知的,20世纪重大 发明之一的计算机,使数学面临变革而有进入一个新时代的可 能,即数学的机械化.计算机科学大师Knultr曾称计算机科学 是一种算法的科学,我国某些数学史家曾论证数学发展的历史 过程中公理化的演绎倾向与机械化的算法倾向往往互为消长交 替成为当时数学的主流,由于计算机的出现,为后一倾向带来 了新的生命力。丛书的第二本对于数学机械化作了较详细的介 绍.作者石赫教授是中国科学院系统科学所的研究员,多年来 从事这方面的研究,有过不少重要的贡献,例如书中关于理论 物理中杨振宁与Baxeta方程组的解法,即是石赫教授自己的一 项杰作,希望读者在阅读本书之后