视频目录 / 数学逻辑、集合与证明

热度排名 #1403

贾斯廷·穆尔谈半形式化证明的实践

Experiences with Semi-Formal Proofs with Justin Moore

从写实际证明的经验出发，讨论哪些步骤适合展开到可核查的程度，又有哪些高层想法可以用文字说明。

NYC Systems · 1 串讨论 · 热度 1.869

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-03-05 · 帖子分数 3