视频目录 / 数学导览与专题

热度排名 #1444

让计算机读懂数学的含义

Towards a Semantic Language of Mathematics

这部片访谈数学家与证明工具开发者。可先留意一个例子里，计算机要理解数学记号，为什么还得知道符号所指的对象和定义。

Wolfram · 1 串讨论 · 热度 1.869

在此播放

讨论出处

• Hacker News · 原讨论 ↗2017-02-10 · 帖子分数 3