Another Roof | Maths: Discovered or Invented? Do Computer-Aided Proofs Have Value? 10K Q&A @AnotherRoof | Uploaded 2 years ago | Updated 1 hour ago
Huge thank you to everyone who submitted questions -- this was a fun and relaxing video to make. Hopefully my views aren't too contentious.

00:00 - Intro
00:44 - Surreal Numbers?
01:54 - Why YouTube?
03:59 - Negative Bases?
04:17 - Do I Make the Props?
06:08 - Axiom of Choice?
08:24 - Film, Music, Book?
11:47 - Why Bricks?
12:37 - How to Pronounce Gödel?
13:12 - Favourite Theorem?
17:17 - Do Computer-Assisted Proofs Have Value?
21:10 - What's my PhD Thesis?
23:37 - Favourite Type of Graph?
24:12 - Channel Plans?
24:57 - Favourite Number(s)?
25:54 - Is Mathematics Invented or Discovered?
29:10 - Outro