作者：杨睿之
类别：哲学思想电子书
关键词：逻辑与形而上学教科书系列：作为哲学的数理逻辑
整理日期：2017-04-24 22:32:28
下载地址： 本地下载 网友上传
作品导读
现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕..
逻辑与形而上学教科书系列：作为哲学的数理逻辑的作者是杨睿之。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。