One scientific method can be said to be more reliable than another if it can arrive at the truth in more possible circumstances than the other can. This extensively ilustrated book shows how to find answers to questions such as whether standard methodological recommendations help or hinder the reliability of inquiry, or how reliable computable methods can be, using techniques and concepts drawn from formal learning theory, topology and the theory of computability.