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

热度排名 #1744

Penrose：从数学符号生成图形

Penrose: From Mathematical Notation to Beautiful Diagrams

把一张图里的对象、关系与版式分别标出。看这个项目怎样把数学结构交给程序处理，再问同一个陈述为何可能有几种有效画法。

Keenan Crane · 1 串讨论 · 热度 1.723

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-11-17 · 帖子分数 2