This book provides the mathematical foundations for Feynman's operator calculus and for the Feynman path integral formulation of quantum mechanics as a natural extension of analysis and functional analysis to the infinite-dimensional setting. In one application, the results are used to prove the last two remaining conjectures of Freeman Dyson for quantum electrodynamics. In another applicatiā¦