Does mathematics have two transcendent attributes: truth and beauty? What makes math true? What makes math beautiful? Are there different kinds of mathematical existence? How can math combine idealized perfection and explanatory simplicity?Since the subject is Mathematics, it would have been nice if they interviewed some mathematicians. Yes, Witten has some very impressive mathematical accomplishments, but he was schooled in Physics and thinks like a physicist.
Featuring interviews with Robbert Dijkgraaf, Edward Witten, Max Tegmark, Sabine Hossenfelder, and Jim Holt.
Inevitably these non-mathematicians say that Math is not truth because it depends on axioms, or because Goedel proved that truth is not provable. Their description of Goedel's work is usually something that Goedel himself would disagree with.
To show that math can be false because of faulty axioms, they point out that dropping one of Euclid's axioms gives rise to non-euclidean geometry, and that was actually useful in general relativity.
No, Math gives absolute truth, and these arguments miss the point. Euclidean geometry is just as true as it ever was. General relativity uses Euclidean geometry to model the spatial tangent space. Yes, different axioms give different theorems, and all those theorems are true for those axioms.
Another podcast in this series addresses Why the “Unreasonable Effectiveness” of Mathematics? | Episode 2203 | Closer To Truth. Again, the interviews are with string theorists and physicists, not mathematicians.