The drinker paradox (also known as drinker's principle, drinkers' principle or (the) drinking principle) is a theorem of classical predicate logic, usually stated in natural language as: There is someone in the pub such that, if he is drinking, everyone in the pub is drinking. The actual theorem is
where D is an arbitrary predicate. The paradox was popularised by the mathematical logician Raymond Smullyan, who called it the "drinking principle" in his 1978 book What Is the Name of this Book?
Read more about Drinker Paradox: Proofs of The Paradox, Discussion, History and Variations
Famous quotes containing the words drinker and/or paradox:
“Bias, point of view, fury—are they ... so dangerous and must they be ironed out of history, the hills flattened and the contours leveled? The professors talk ... about passion and point of view in history as a Calvinist talks about sin in the bedroom.”
—Catherine Drinker Bowen (1897–1973)
“The conclusion suggested by these arguments might be called the paradox of theorizing. It asserts that if the terms and the general principles of a scientific theory serve their purpose, i. e., if they establish the definite connections among observable phenomena, then they can be dispensed with since any chain of laws and interpretive statements establishing such a connection should then be replaceable by a law which directly links observational antecedents to observational consequents.”
—C.G. (Carl Gustav)