Brilliant. I've got to revisit this lecture again, because Hacking has managed to compact so much material into a single hour. He has created an outline for a massive tome on the philosophy of mathematics. I hope he writes it.

circa 39:10 missing word was: Prolegomena

@FunkyTurner I was falling asleep myself, but past the 40 min mark he started talking about the classical debate of whether we discover mathematics "out there" or if it's an invention of our cognitive faculties. It was a pretty interesting overview of the debate. True though, if you're not into philosophy, this is boring.

Yeah I guess if you are not interested in philosophy a philosophy lecture will be boring for you...Surprise!