馆员荐书||2025年第24期
创始人
2025-09-20 01:21:34
0

馆员荐书||2025年第24期

《数学、语言与实践

—维特根斯坦数学哲学研究》

推荐语

当ChatGPT轻松通过数学考试时,我们比任何时候都更需要理解:数学的确定性究竟从何而来?徐弢教授的这部著作,恰似一把打开维特根斯坦思想宝库的钥匙。它提醒我们,在追求技术突破的同时,不应忘记哲学思考的初心——数学不仅是计算工具,更是人类理解世界的独特方式。

内容简介

1、数学命题的“语法本质”

书中详细拆解维特根斯坦对“2+2=4”的经典分析:这个等式并非描述事实,而是规定计算规则。正如象棋中“马走日”的规则,数学命题的确定性源于其作为语言游戏的不可违背性。徐弢特别指出,这种语法观为人工智能的符号系统提供了哲学辩护——机器的数学运算本质上是人类规则的延伸。

2、实践优先的数学基础观

针对希尔伯特的形式主义纲领,维特根斯坦在书中被引述为:“数学证明不是发现真理,而是创造确定性。”徐弢通过分析数学教育中的“证明教学”案例,论证数学规范性源于集体实践的共识,而非超验的逻辑实体。这种观点与当代社会学中的“实践转向”形成跨学科呼应。

3、对哥德尔定理的颠覆性解读

面对“数学不完备性”带来的危机,维特根斯坦在书中被重构为:“P为真但不可证”这类表述是语法混淆的结果。徐弢通过对比克里普克与麦克道威尔的解读,提出维特根斯坦的解决方案:将数学矛盾视为规则误用,而非逻辑系统的缺陷。这一观点为解决当代数学基础中的“新悖论”提供了新路径。

馆藏信息

馆藏索书号:B561.59/23

馆藏地点:社科图书阅览二区(204室)

图文编辑:翟宁

责任编辑:李艳

审核:张邈

相关内容

热门资讯

黑科技科技(德扑之星开桌)wE... 黑科技科技(德扑之星开桌)wEpOke好像真的有挂!太夸张了其实是真的有挂(2023已更新)(哔哩哔...
黑科技代打(微扑克)AAPOK... 黑科技代打(微扑克)AAPOKer竟然有挂!太离谱了往昔有挂(2024已更新)(哔哩哔哩);揭秘教程...
黑科技辅助(德州wpk)聚星扑... 黑科技辅助(德州wpk)聚星扑克从来真的有挂!太嚣张了最初真的是有挂(2025已更新)(哔哩哔哩)关...
黑科技辅助挂(pokerrrr... 黑科技辅助挂(pokerrrr2挂)云扑克app起初是真的有挂!太嚣张了原先存在有挂(2020已更新...
黑科技有挂(微扑克代打)wEP... 黑科技有挂(微扑克代打)wEPOKE好像有挂!太嚣张了竟然是有挂(2025已更新)(哔哩哔哩);玩家...
黑科技存在(WPK苹果版本)微... 黑科技存在(WPK苹果版本)微扑克数据往昔真的有挂!太实锤了切实是有挂(2025已更新)(哔哩哔哩)...
黑科技辅助挂(来玩德州挂)we... 1、黑科技辅助挂(来玩德州挂)wepoKe竟然真的是有挂!太坑了本然是真的有挂(2026已更新)(哔...
黑科技能赢(Wepoke安卓版... 黑科技能赢(Wepoke安卓版本)扑克之城从来是真的有挂!太坑了从前是有挂(2021已更新)(哔哩哔...
黑科技讲解(德扑之星数据)po... 黑科技讲解(德扑之星数据)pokermaster一贯是真的有挂!太离谱了往昔有挂(2024已更新)(...
黑科技工具(微扑克中牌率)微扑... 黑科技工具(微扑克中牌率)微扑克线上真是真的是有挂!太实锤了切实真的有挂(2025已更新)(哔哩哔哩...