[元数学导论]·上集·SC克林·科学社版

【元数学导论】上集 - SC克林科学.pdf数学名著译丛元数学导论 上册 美]S.C.克林著 莫绍换译译者序言 本书是数理逻辑方面的一本名著,自1952年出版至今已重版 七次,直到现在仍然被数理逻辑工作者广泛地引用着,实在是一本 值得我们仔细研读的重要著作.正如作者所说(见为中文版的序言),本书对集合论与模型论 写得少了一些,但对别的方面则是作了很适当而又很好的介绍.特 别值得提出的是,作者深人研究过直觉主义逻辑多年,因此本书对 直觉主义逻辑作了系统的详细的介绍,这是别的数理逻辑书所少 有的．本书还详细地讨论推演过程中的依赖性与变化性,这似乎 使初学者觉得麻烦而难于运用,其实这两个概念非常重要,本书对 它们作了系统的讨论,是很值得我们特别注意的,本书虽经过七次印刷,但除改正一些刊误或小毛病著者为中文版写的序言 我感到很荣幸,由莫绍教授翻泽的我1952年的书的中译 本,现在就要出版了,我相信,经过这许多年之后,本书所处理的课题,在数学基础 方面,又重新获得了它的重要性了,当然别的课题,尤其是模型论 的和集合论的,也获得了当本书正在执笔时它们还未曾获得的重 要性.从我在1936年秋季的讲学开始,我便花了很多的时间去考虑 材料的安排,因此,当1952年本书终于出版时,我觉得,就它所包 括的内容而论,它已经达到了我不能再行改进的地步,因此,本书 每次再版时,我都没有重写或改写,而只是做了很少的简单的勘误 或解释,以及(在1974年)增加两个注．我希望,中国的读者将 会感到,这本书是
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。