数学影像馆

视频目录 / 微积分

系列分集

极大数第 40 集：树序数的正式定义

Ridiculously Huge Numbers (Part 40)

顺着讲者的递归定义，从最小的树往上搭。每次加分支时记录它引用了哪些已构造对象，再看看这种构造怎样容纳原本写不下的新序数。

David Metzler · 系列收录

打开原视频 ↗浏览微积分

讨论出处