Fermi paradox
Michael H. Hart published in 1975 a detailed examination of the paradox, which has since become a theoretical reference point for much of the research into what is now sometimes known as the Fermi–Hart paradox. Geoffrey A. Landis prefers that name on the grounds that "while Fermi is credited with first asking the question, Hart was the first to do a rigorous analysis showing that the problem is not trivial, and also the first to publish his results". Robert H. Gray argues that the term "Fermi paradox" is a misnomer, since in his view it is neither a paradox nor due to Fermi; he instead prefers the name Hart–Tipler argument, acknowledging Michael Hart as its originator, but also the substantial contribution of Frank J. Tipler in extending Hart's arguments.
Fermi problem
Scientists often look for Fermi estimates of the answer to a problem before turning to more sophisticated methods to calculate a precise answer. This provides a useful check on the results. While the estimate is almost certainly incorrect, it is also a simple calculation that allows for easy error checking, and to find faulty assumptions if the figure produced is far beyond what we might reasonably expect. By contrast, precise calculations can be extremely complex but with the expectation that the answer they produce is correct. The far larger number of factors and operations involved can obscure a very significant error, either in mathematical process or in the assumptions the equation is based on, but the result may still be assumed to be right because it has been derived from a precise formula that is expected to yield good results. Without a reasonable frame of reference to work from it is seldom clear if a result is acceptably precise or is many degrees of magnitude (tens or hundreds of times) too big or too small. The Fermi estimation gives a quick, simple way to obtain this frame of reference for what might reasonably be expected to be the answer, giving context to the results.