语义和逻辑演变是AI弱点。Elements和conjectures怎样演变，是陶哲轩诠释的难题

所有跟贴·加跟贴·新语丝读书论坛

送交者: scott 于 2026-10-25, 19:25:00:

回答: 计算的尽头是逻辑，欧几里得是先驱。高斯、丘成桐没看懂欧氏逻辑体系，不是小事 由 scott 于 2026-10-25, 18:51:23:

欧氏逻辑体系跟非欧几何不冲突，但有人告诉你这一点还不够。

我提醒过需要准确理解三次数学危机，然后才能迎来逻辑的黄金时代。



所有跟贴:

加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明)