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)
“A good aphorism is too hard for the teeth of time and is not eaten up by all the centuries, even though it serves as food for every age: hence it is the greatest paradox in literature, the imperishable in the midst of change, the nourishment which—like salt—is always prized, but which never loses its savor as salt does.”
—Friedrich Nietzsche (1844–1900)