[Popper35] Karl Popper, Logik der Forschung, 1935 (English
translation in 1959, The Logic of Scientific Discovery, [This famous
philosophy of science work is widely considered a breakthrough in scientific
thinking. One of the results that is widely used is that it is impossible to
prove a forall statement about an infinite set of objects, but it is possible
to disprove such a statement with a single example - thus the idea of
verification and falsification as a basis for the scientific method.]
fc@red.all.net