Comment by robot-wrangler

Intellectually curious podcast did a piece on reverse math recently, only 5m but more detailed in places than quanta.

In a lot of ways this feels related to the development of noneuclidean geometry so it's kind of surprising it wasn't a hot topic sooner. Maybe it was waiting for a critical mass of computer scientists to come along, or maybe we just needed to run out of other low-hanging fruit so that foundational topics in complexity became more interesting