【基础数学的元数学】EngelerErwin.pdf
基础数学的元数学 Erwin Engeler著 宋方敏译 1995南京
E.Engeler1992年9月于苏黎世著者为中文版写的序言 本书的德文版大约问世于十年前,它来源于我在ETH多年 来周期开设的一门课程的讲义。在这十年间,俄文和英文的翻译工 作已着手进行,现在南京大学的宋方敏博士完成了本书的中文翻 译。我十分幸运找到这样一位译者,使得德文原著被译成一种新语 言,对他的数学修养、对语言的理解以及无私的奉献表示衷心的感 本书不打算讲授逻辑及其公理系统,也不打算综述所谓“高观 点下的基础数学”,它旨在唤醒学生们在某些方面的评估能力以及 帮助其建立牢固的基础。
目录 借助于坐标系的公理化元理论问题和初等几何的方法 组合代数的存在性:组合逻辑 第一节什么是实数 第二节语言作为数学的部分 实数的基本理论 非标准分析 第五节选择公理与连续统假设 空间与数学 几何作图 什么是算法 具体的组合代数 第五节可计算性与组合子 第一章连续统 第三节 第四节 第二章几何学 第一节 第二节 第三节 第四节 第三章算法 第一节 第二节 第三节 第四节入演算