视频目录 / 计算数学与算法

系列分集

理论计算机科学：可数性与对角线论证

Great Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)

先练习把一批离散对象排成序列，再设想一张声称列出所有序列的表。沿对角线改变各位，核对新对象为何与表中每一行都不同。

Ryan O'Donnell · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Great Ideas in Theoretical Computer Science at CMU (incomplete) · 2018-12-14