「为非数学家而写」的数理逻辑书,100 页后满篇形式证明
miniapeur · x · 2026-11-10
作者发出一张梗图:一本声称「面向非数学家,数学与集合论概念按需讲解」的书,前言如此承诺,100 页后却满是 p-consistent sets、Henkin 完备性引理之类的形式逻辑证明——说好的按需讲解,直接进入元定理地狱。
「Fun」频道最新
- 工程师致电银行发现客服语音是自己训练的 ElevenLabs 模型 — nathanbenaich · 2026-11-10
- 「你是最后一代需要熬周一的打工人」：AI 圈又刷屏了 — rand_longevity · 2026-11-10
- 独立 Agent 审计还 Fable 清白：未窃取他人 3D 飞机模型 — victormustar · 2026-11-10
- Dimillian 吐槽同行：你这怕不是得了 Claude 精神病 — Dimillian · 2026-11-10
- AI 视频神级运镜刷屏，网友称若实拍成本数十亿美元 — LinusEkenstam · 2026-11-10
- 玩家自嘲研究一年前沿模型用量规则仍一头雾水 — menhguin · 2026-11-10