The theoretical validation of these methods drove much of the early development of computing in the 1930s (as a way to compute Monte Carlo estimates.)