【元数学导论】上集 - SC克林科学.pdf

数学名著译丛元数学导论上册美]S.C.克林著莫绍换译

译者序言本书是数理逻辑方面的一本名著,自1952年出版至今已重版七次,直到现在仍然被数理逻辑工作者广泛地引用着,实在是一本值得我们仔细研读的重要著作.正如作者所说(见为中文版的序言),本书对集合论与模型论写得少了一些,但对别的方面则是作了很适当而又很好的介绍.特别值得提出的是,作者深人研究过直觉主义逻辑多年,因此本书对直觉主义逻辑作了系统的详细的介绍,这是别的数理逻辑书所少有的．本书还详细地讨论推演过程中的依赖性与变化性,这似乎使初学者觉得麻烦而难于运用,其实这两个概念非常重要,本书对它们作了系统的讨论,是很值得我们特别注意的,本书虽经过七次印刷,但除改正一些刊误或小毛病

著者为中文版写的序言我感到很荣幸,由莫绍教授翻泽的我1952年的书的中译本,现在就要出版了,我相信,经过这许多年之后,本书所处理的课题,在数学基础方面,又重新获得了它的重要性了,当然别的课题,尤其是模型论的和集合论的,也获得了当本书正在执笔时它们还未曾获得的重要性.从我在1936年秋季的讲学开始,我便花了很多的时间去考虑材料的安排,因此,当1952年本书终于出版时,我觉得,就它所包括的内容而论,它已经达到了我不能再行改进的地步,因此,本书每次再版时,我都没有重写或改写,而只是做了很少的简单的勘误或解释,以及(在1974年)增加两个注．我希望,中国的读者将会感到,这本书是