逻辑与形而上学教科书系列：作为哲学的数理逻辑
作者：
杨睿之
出版社： 复旦大学出版社
原作名： 杨睿之
出版年： 2016-11-1
页数： 218
定价： CNY 32.00
装帧： 平装
丛书： 逻辑与形而上学教科书系列
ISBN： 9787309126587
出版社： 复旦大学出版社
原作名： 杨睿之
出版年： 2016-11-1
页数： 218
定价： CNY 32.00
装帧： 平装
丛书： 逻辑与形而上学教科书系列
ISBN： 9787309126587
内容简介
现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。
此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出...
评价“逻辑与形而上学教科书系列：作为哲学的数理逻辑”