计算哲学著作《Logiciel》再版：重审图灵正统与计算本质
round · x · 2026-09-02
AA Cavia 的《Logiciel：计算理性六讲》第二版出版（初版六年前售罄）。该书源自研讨会讲义，横跨认知神经科学、心灵哲学、逻辑与计算机科学，提出基于拓扑学的计算模型：以空间类型论为基础，主张重新审视图灵"公理化规则引导的通用机器"正统图景，把计算视为从偶然性诊断中涌现的理论，并讨论模拟假说、奇点、通用学习与心灵的多重可实现性等议题。
「漫话AGI」频道最新
- 博主实测 Fable 5.1 长程任务：断言金融咨询业将被颠覆 — felpix_ · 2026-09-02
- AI 智能体该用「意向立场」描述吗?Millière 长文引热议 — sebkrier · 2026-09-02
- 已有 LLM 跑出 14000 tokens/秒，作者预言五年内前沿智能达 5000 tok/s — dolo937 · 2026-09-02
- Reddit 热议：大厂或弃公开发布，把顶级模型留作内部「神谕」 — IDefendWaffles · 2026-09-02
- 认知革命长文:我们外包了肌肉,如今正在外包心智 — Konstantine · 2026-09-02
- AI 幻觉涌入澳洲议会问询，虚构研究被正式引用 — nordicinst · 2026-09-02