Vi Hart has a few interesting videos on infinity: "Proof some infinities are bigger than other infinities" (w/ Cantor's diagonal proof) https://www.youtube.co

Vi Hart has a few interesting videos on infinity: "Proof some infinities are bigger than other infinities" (w/ Cantor's diagonal proof) https://www.youtube.com/watch?v=lA6hE7NFIK0 https://www.youtube.com/watch?v=lA6hE7NFIK0 "How many kinds of infinity are there?" (a very good list including surreals, P-adic, the long line, others) http://vihart.com/how-many-kinds-of-infinity-are-there/ http://vihart.com/how-many-kinds-of-infinity-are-there/ Also, I support her suggestion in "Infinite Trees Are Super Weird" that since we call uncountable line segments the "long line", we should call the uncountably-branching tree the "big tree". https://www.youtube.com/watch?v=BEz-vGJvaik https://www.youtube.com/watch?v=BEz-vGJvaik