Renowned physicist and mathematician Freeman Dyson is famous for his work in quantum mechanics, nuclear weapons policy and bold visions for the future of humanity. In the 1940s, he was responsible for demonstrating the equivalence of the two formulations of quantum electrodynamics -- Richard Feynman's diagrammatic path integral formulation and the variational methods developed by Julian Schwinger and Sin-Itiro Tomonoga -- showing the mathematical...