Why should you move to 4d? Regular polytopes explain

∞, 5, 6, 3, 3, 3, …

Watch me and Plato grapple with 4D polytopes (the best shapes in the best dimension) by making them out of wire and cardboard. Bonus existence proof at the end for the meticulous!

Special thanks to Plato, Athena, Alicia Boole Stott, Ludwig Schläfli, and Aristotle (for letting Plato find the polytopes first.)

REFERENCES
Drake Thomas taught me most of this!
Rich and concise written polytope expo: https://math.ucr.edu/home/baez/platon...
Beautiful visuals: https://www.polyhedra-world.nc/polyto....
https://4dtoys.com/ (The stunning app)
Polytope foldouts: https://researchmap.jp/read0178984/pr....
About Alicia Boole Stott: https://link.springer.com/content/pdf....
(Images from here shown at 11:48)
Branko Grünbaum’s paper I use to impress Plato: https://faculty.washington.edu/moishe....
Existence proof by Christian Blatter on Stack Exchange: https://math.stackexchange.com/q/632967.
Dali’s “Corpus Hypercubus”: https://en.wikipedia.org/wiki/Crucifi...)
4D weirdness list: https://en.wikipedia.org/wiki/4-manif....
Polytope wiki: https://polytope.miraheze.org/wiki/Re....
Tom Mrowka’s quote from a curious Quanta article: https://www.quantamagazine.org/mathem....
I show snapshots from these great videos:
Perfect Shapes in Higher Dimensions - Numberphile:    • Perfect Shapes in Higher Dimensions - Numb...  .
Meeting Salvador Dali in the Fourth Dimension - Thomas Banchoff:    • Meeting Salvador Dali in the Fourth Dimens...  .
Thinking outside the 10-dimensional box - 3Blue1Brown
   • Thinking outside the 10-dimensional box  .
H. S. M. Coxeter wrote a whole book “Regular Polytopes,” which I have not read (yet?)

TIMESTAMPS
0:00 - Building polytopes from the vertex
0:39 - Plato’s new quest
2:15 - Platonic solids from regular polygons
4:55 - What is a vertex figure?
5:30 - Defining polytopes by analogy
7:45 - Assembling 4D vertices
11:52 - Schläfli symbols
13:53 - Justifying existence
17:11 - 4D is the place to be