浅论中国数理逻辑发展-mathematicallogicatfudan.pdfVIP

. 浅论中国数理逻辑发展 赵希顺 逻辑与认知研究基地 中⼭⼤学, ⼴州 复旦⼤学, 上海 2015 年 12 ⽉ 12 ⽇ 赵希顺 浅论中国数理逻辑发展 . 相关⽂献 .. 金岳霖王宪钧胡世华: ⼗年来的中国科学数学卷--数理逻 辑，科学出版社，1959 年 林夏水张尚水: 数理逻辑在中国，《⾃然科学研究》，第 2 卷，第 2 期，175-182 ，1980 年 赵总宽 (主编): 逻辑学百年，北京出版社，1999 年 鞠实儿 (主编): 当代中国逻辑学研究（1949-2009），中国社 会科学出版社, 2013 年 赵希顺 浅论中国数理逻辑发展 . 张荫麟（1932 年在美国修数理逻辑课) 著: 归纳逻辑新论发端 .. 历史 (学) 的(任务): 赵希顺 浅论中国数理逻辑发展 . 张荫麟（1932 年在美国修数理逻辑课) 著: 归纳逻辑新论发端 .. 历史 (学) 的(任务): 就是要考察各家学说起源、成⽴的年代、 作者的⽣平、他的思想的发展、他的学说与别家学说的相互影 响、他的学说与学术环境以外相互影响。 赵希顺 浅论中国数理逻辑发展 . 什么是数理逻辑 .. 赵希顺 浅论中国数理逻辑发展 . 什么是数理逻辑 .. 研究数学的形式系统的学问 赵希顺 浅论中国数理逻辑发展 . 什么是数理逻辑 .. 研究数学的形式系统的学问 协调性完备性独⽴性可判定性（可计算性） 赵希顺 浅论中国数理逻辑发展 . 什么是数理逻辑 .. 研究数学的形式系统的学问 协调性完备性独⽴性可判定性（可计算性） . 数理逻辑的分⽀ .. 公理集合论算术理论⾼阶算术证明论模型论递归论（可计算 性理论） 赵希顺 浅论中国数理逻辑发展 . 数理逻辑与哲学 ..