【数理逻辑导论】莫绍揆上海科学技术.pdf
莫著 数理辑导
序 本书的主要自的是作为一本数理避辑的人門书,内容力求平 易.但因目前我国非常缺乏这方面的书籍,所以也力求全面而群 細,希望借此可給初学者打下一个相当牢固的基础．这个目的能 够在多大程度上实现,有待于同志們的批指正,本书是在理与实相結合的原则指导下写的,因此对数 理邂辑的来龙去脉十分注意．譬如,在每逢引入一个新概念时,尽 可能地明它是怎样应日常語言的要求而产生的.在給出公理系 統之前,都先讨指派、真假性、永宾性等等,然后才引进永公式 的公理系统,突出每一个公理系的实际内容.再进一步对它们抽 象化以得出形式公理系.
序「i] 课程中处处都介貂他們的法与古典法不同之点,这样可使额 者注意到能行性的重要.但关于Brouwor学派的详介貂则放在 后面,待讀者对能行性已有初步理解后才开始,作者认为这样做 收效较大.有关基本概念(如符号的用法,“自名用法,变元,函数,雷 等等)的分析与讨论,作者是不主张放在课程的开始的,那样将使 讀者极难理解．作者原先打算把它們放在全书的末尼,但内这部 分内容较为碎而且似乎不是初学者所急需,所以释于把它們 去了.同时本书所使用的符号也没有严格遵照目前流行的注(如照这种法,还应再多創造几套符号),这点希望额者注意,用語方面完全遵照数学名”一书所定,但为明方便起見,作者引人了- 