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

馆员荐书||2025年第24期

《数学、语言与实践

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

推荐语

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

内容简介

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

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

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

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

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

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

馆藏信息

馆藏索书号:B561.59/23

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

图文编辑:翟宁

责任编辑:李艳

审核:张邈

相关内容

热门资讯

aapoker透视辅助!wop... 大家肯定在之前aapoker透视辅助或者aapoker透视辅助中玩过aapoker透视辅助!wopo...
透视透视(wpk透视辅助测试)... 透视透视(wpk透视辅助测试)德扑数据分析软件(详细辅助切实教程)一直真的有挂1、在wpk透视辅助a...
透视私人局(wpk透视辅助测试... 透视私人局(wpk透视辅助测试)wepoke辅助(详细辅助必备教程)一贯是真的有挂1、金币登录送、破...
aapoker发牌机制!wep... aapoker发牌机制!wepoke保险,(AAPOker)原先存在有挂(详细透视实用技巧);是一款...
透视好友(wepoke辅助机器... 透视好友(wepoke辅助机器人)线上wpk德州ai机器人(详细辅助切实教程)一贯真的是有挂是一款可...
wpk发牌逻辑!pokerwo... wpk发牌逻辑!pokerworld有挂吗,(WepOke)从来是真的有挂(详细辅助介绍教程);揭秘...
智星德州菠萝!德州aa辅助,(... 智星德州菠萝!德州aa辅助,(aapOker)起初真的是有挂(详细辅助wpk教程),亲,有的,ai轻...
透视最新(wepoke有辅助挂... 透视最新(wepoke有辅助挂)wepoke防外挂(详细辅助技巧教程)原本是有挂;一、AI软件牌型概...
科研新突破助电子器件效能耐用性... 本报讯(记者 任娜)手机卡顿、电脑死机、电动车续航打折,这些日常烦恼背后,都可能藏着电子器件“发烧”...
透视辅助(wepoke辅助)微... 透视辅助(wepoke辅助)微扑克俱乐部管理(详细辅助2025版教程)一直存在有挂;是一种具有地方特...