42:43HN 20+Philip Wadler：命题即类型
PoincareYouTube 14.3 万次观看6 年前
34:00HN 15Math's Fundamental Flaw 数学的基本缺陷
3cH0_Nu1LYouTube 3080.9 万次观看3 年前
24:22HN 12【中字】分球怪论The Banach–Tarski Paradox@阿尔法小分队科教组
阿尔法小分队字幕组YouTube 4910.3 万次观看11 年前
1:14:48HN 14数学的未来
K神丨克洛泽YouTube 11.6 万次观看3 年前
59:53HN 12Leslie Lamport：在代码之上思考
木晓枫YouTube 40.3 万次观看3 个月前
43:24HN 5Edwin Brady：Idris 2 的类型驱动开发
garfmaYouTube 1.9 万次观看
8:00HN 5【Numberphile】“无限”究竟有多大？Infinity Is Bigger Than You Think
小猫咪字幕组YouTube 765.3 万次观看6 年前