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:
“For your born writer, nothing is so healing as the realization that he has come upon the right word.”
—Catherine Drinker Bowen (1897–1973)
“...This
is the paradox of vision:
Sharp perception softens
our existence in the world.”
—Susan Griffin (b. 1943)