戴金德和皮亚诺资料.doc

成绩本科毕业论文（设计） 题目：戴德金1888及皮亚诺1889关于算术基础的小册子 学生姓名学 号指导教师院 系数学系 专 业 信息与计算科学 年 级2009教务处制 二○一三年六月 诚信声明 本人郑重声明：本人所呈交的毕业论文（设计），是在导师的指导下独立进行研究所取得的成果。毕业论文（设计）中凡引用他人已经发表或未发表的成果、数据、观点等，均已明确注明出处。除文中已经注明引用的内容外，不包含任何其他个人或集体已经发表或在网上发表的论文。 特此声明。 论文作者签名： _______________日 期： 2013年5月29日 戴德金1888及皮亚诺1889关于算术基础的小册子 摘要：这篇论文是《1640至1940年西方数学的标志性著作》第47章的翻译。论文介绍了理查德?戴德金和朱塞佩?皮亚诺编写了算术基础的小册子，它提供了算术水平的新的基础和形式化，特别强调的是数学归纳法方法的理解。最终他们建立了皮亚诺 - 戴德金的自然数公理。它讨论了戴德金和皮亚诺对算术基础的贡献。虽然戴德金非常清晰和简洁得提出了基本的结果，但他缺乏的是术语和符号的隶属关系。《数是什么及应该是什么？》（WSZ）是第一个涉及到映射的概念并讨论其基本理论的著作。WSZ最原始和最深刻的理论发展是这所谓的链理论，即阐述了一节内部映射。链的一个子集