标签：杨睿

现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。 此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出公...

标签：命题哲学数学数理逻辑文傻杨睿第一章递归论集合论