Barber paradox

Barber paradox je paradox s důležitostí pro formální logiku a teorii množin. Paradox zvažuje město s mužským holičem, který denně holí každého muže, který se neholí, a žádný jinde. Takový město nemůže existovat:

• Jestliže holič se neholí, on musí čekat na pravidlem a se holit.
• Jestliže on přece se holí, shodovat se k pravidlu on nebude se holit.

Tak pravidlo skončí nemožnou situací.

Tento paradox je přičítán Britům logik Bertrand Russell, kdo v 1901 budoval Russellův paradox demonstrovat protimluvnou přírodu Cantor je základní teorie množin tím, že formuje Barber paradox. Paradox také underlies důkaz Gödel incompleteness teorém také jak Alan Turing' s důkaz undecidability váhavého problému.