Here is an interesting and annoying BBC documentary on Georg Cantor, Ludwig Boltzmann, Kurt Godel, and Alan Turing. The explanations are well-done and not the usual ones one sees for this stuff. The gratuitous Jesus-bashing and worries about “will we pledge blind allegiance to yet another certainty?,” and the “this is the equation that killed him” silliness detract from an otherwise well done series of intellectually linked biographies. Weak minds who want to appear to be thoughtful often mock the completely reasonable search for foundational truths, because these guys and what they accomplished would not be interesting and valuable enough if it couldn’t be used to put down someone else.
There are some wonderful German accents. Worth watching, particularly if your teeth need to be ground a bit.