Chapter

Length Limitations in Mathematics, Physics, and Theories
listen on Spotify
2:27:58 - 2:33:47 (05:49)

In mathematics, there aren't infinite length proofs, whereas in physics, the universe can be wandered around forever until running into a black hole where time stops. The interplay between concepts and theories, such as black holes and undecidability, can play a role in mathematics.

Clips
This podcast explores the quantum theory of mathematics and the possible analogs of the interference of multiple proofs.
2:27:58 - 2:29:35 (01:37)
listen on Spotify
Quantum Mathematics
Summary

This podcast explores the quantum theory of mathematics and the possible analogs of the interference of multiple proofs. They also discuss a heuristic for automated theorem provers based on energy.

Chapter
Length Limitations in Mathematics, Physics, and Theories
Episode
#234 – Stephen Wolfram: Complexity and the Fabric of Reality
Podcast
Lex Fridman Podcast
The interplay between mathematics and physics is explored through the concept of black holes, where time stops and in something like Boolean algebra, any question can be answered in a known number of steps.
2:29:35 - 2:31:41 (02:05)
listen on Spotify
Mathematics
Summary

The interplay between mathematics and physics is explored through the concept of black holes, where time stops and in something like Boolean algebra, any question can be answered in a known number of steps.

Chapter
Length Limitations in Mathematics, Physics, and Theories
Episode
#234 – Stephen Wolfram: Complexity and the Fabric of Reality
Podcast
Lex Fridman Podcast
A lot of theories in one area of mathematics play into another area of mathematics.
2:31:41 - 2:33:47 (02:06)
listen on Spotify
Mathematics
Summary

A lot of theories in one area of mathematics play into another area of mathematics. Understanding the metamathematical space may explain why different areas of mathematics ultimately map into the same thing.

Chapter
Length Limitations in Mathematics, Physics, and Theories
Episode
#234 – Stephen Wolfram: Complexity and the Fabric of Reality
Podcast
Lex Fridman Podcast