En 1949, Dyson demostraría la equivalencia de dos formulaciones de la Electrodinámica Cuántica: con los diagramas de Feynman y el método de operación desarrollado por Julian Schwinger y Shin'ichirō Tomonaga.