Why mathematical truths exist with or without minds to consider them
In this video interview from the long-running interview series Closer to Truth, the US presenter Robert Lawrence Kuhn asks Scott Aaronson, a professor of computer science at the University of Texas at Austin, a single question – ‘What can you say about the nature of truth?’ From that starting point, Aaronson makes a case for what he calls the ‘autonomy of mathematical truth’, arguing that, whether agreed upon by humans across cultures, advanced species across planets, or even with no one to contemplate them at all, the truths of arithmetic are universal.
Video by Closer to Truth

videoMathematics
After centuries of trying, we’ve yet to arrive at a perfect way to map colour
20 minutes

videoMusic
A riveting audiovisual dive into what makes sounds harmonious, or not
28 minutes

videoMathematics
Spiral into the ‘golden ratio’ – and separate the myths from the maths
4 minutes

videoHistory of science
How we came to know the size of the Universe – and what mysteries remain
26 minutes

videoKnowledge
Why David Deutsch believes good explanations are the antidote to bad philosophy
10 minutes

videoPhilosophy of mind
‘Am I not at least something?’ A surreal dive into Descartes’s Meditations
3 minutes

videoHistory of science
Ideas ‘of pure genius’ – how astronomers have measured the Universe across history
29 minutes

videoMetaphysics
What do past, present and future mean to a philosopher of time?
55 minutes

videoComputing and artificial intelligence
Why large language models are mysterious – even to their creators
8 minutes