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, furyare 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 (18971973)
“... it is the deserts grimness, its stillness and isolation, that bring us back to love. Here we discover the paradox of the contemplative life, that the desert of solitude can be the school where we learn to love others.”
—Kathleen Norris (b. 1947)