Bertrand Russell merumuskan paradoks ini untuk mengilustrasikan masalah dalam teori himpunan naif. Jika tukang cukur mencukur dirinya sendiri, ia masuk kategori orang yang mencukur diri sendiri — sehingga ia tidak boleh dicukur oleh tukang cukur. Kontradiksi. Jika ia tidak mencukur dirinya, ia masuk kategori yang harus dicukur tukang cukur — kontradiksi lagi.
Resolusinya: tukang cukur seperti itu tidak bisa ada. Paradoks ini adalah versi populer dari Russell's Paradox dalam teori himpunan — himpunan yang memuat dirinya sendiri menyebabkan sistem runtuh. Dampaknya: matematika modern dibangun di atas aksioma yang secara eksplisit mencegah self-reference semacam ini.
← Kembali ke Daftar Paradoks