Metamathematical Space

Stephen Wolfram discusses the idea of a metamathematical space, which is the infrastructure of all possible theorems that can be proven in mathematics. He explains the concept of theorem dependency and the hardest theorem in Euclid's book. The discussion also touches on the possibility of embedding individual mathematicians into this space.