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 paradox
Exoplanet detection and classification is a very active sub-discipline in astronomy, and the first possibly terrestrial planet discovered within a star's habitable zone was found in 2007. New refinements in exoplanet detection methods, and use of existing methods from space (such as the Kepler Mission, launched in 2009) are starting to detect and characterize Earth-size planets, and determine if they are within the habitable zones of their stars. Such observational refinements may allow us to better gauge how common potentially habitable worlds are.