非构造主义证明梗:解存在但算不出来
miniapeur · x · 2026-10-24
一张数学梗图:非构造主义信徒证明了「解存在」却给不出可计算的具体解，配《指环王》佛罗多名场面「好吧，那就保守你的秘密吧」，额头上还有存在量词 ∃。
「Fun」频道最新
- AI 正抽走现代数字基础设施的地基砖 — adamamcbride · 2026-10-24
- 30 年老兵 Steam 发游戏因披露用了 AI 遭社区围攻 — majidmanzarpour · 2026-10-24
- 拒绝物理学只留数学:改词梗图嘲梗引共鸣 — miniapeur · 2026-10-24
- 几何代数梗:同一个 Clifford,不同粉丝 — miniapeur · 2026-10-24
- 经典油画梗图:2TB SSD 只显示 1.8TB,我的 0.2TB 呢 — miniapeur · 2026-10-24
- 泡着 nCat Lab 十小时后的脑子 — miniapeur · 2026-10-24