فالبداية ديال القرن 20، الفيلسوف وعالم الرياضيات Bertrand Russell قدّم للعالم واحد المشكل اللي كان باين بحال لعبة ديال الكلمات بسيطة، ولكن فالحقيقة كان مخبّي خلل كارثي فأسس الرياضيات الحديثة.
كاتعرف باسم «مفارقة الحلاق» وكتعرض الحالة التالية:
فواحد الدوار بعيد كاين حلاق واحد بوحدو. فهاد البلاصة كاين قانون مطلق وما كيتكسرش: الحلاق كايحلق غير للرجال اللي ما كايحلقوش لراسهم.
المشكل كيبان ملي كنسولو راسنا السؤال الحاسم: واش الحلاق كايحلق لراسو؟
- – إلى كان الحلاق كايحلق لراسو: راه كايخرق القانون، حيث القاعدة كاتقول باللي ما يقدرش يحلق غير لداكشي اللي ما كايحلقوش لراسهم. وبالتالي، ما خاصوش يحلق لراسو.
- – إلى كان الحلاق ما كايحلقش لراسو: راه دغيا كايدخل فالمجموعة ديال الرجال اللي ما كايحلقوش لراسهم. وحيت القانون كايقول باللي الحلاق كايحلق لهاد المجموعة، إذن راه خاصو يحلق لراسو.
هادشي حلقة لا نهائية. إلى دارها، ما يقدرش يديرها؛ وإلى ما دارهاش، خاصو يديرها. مخك دابا طفا.
شنو هو الجواب الحقيقي ديال هاد المشكل؟
لسنوات، الناس حاولو يلقاو ثغرات فالقصة: «أن الحلاق كانت مرا»، «أن الحلاق كان قرع وما عندوش لحية»، أو «أن حلاق من دوار آخر داز من تما». ولكن فالمنطق الخالص، هاد الأجوبة غير تحايلات.
الجواب العلمي والرياضي الحقيقي لهاد المفارقة بسيط بقدر ما هو صادم: الحلاق ما كاينش. هادشي استحالة منطقية.
Russell اخترع هاد القصة باش يبيّن باللي «نظرية المجموعات» اللي كانو كايستعملوها الرياضيين ديال وقتو كان فيها خلل خطير. وورّى باللي تقدر تكتب قاعدة كاتبان منطقية مزيان فوق الورق، ولكن ملي كاتحاول تطبقها على الواقع، كتدمّر راسها براسها.
المفارقة كاتتحل ملي كنقبلو باللي الشرط اللي كايعرّف الحلاق متناقض؛ وبالتالي، وجود شخصية كاتحقق داك القانون مستحيل رياضياً.
بفضل هاد الصداع، العلماء تضطرو يعاودو يكتبو قواعد الرياضيات الحديثة باش يمنعو هاد «الثقوب السوداء ديال المنطق» من أنها توقع مرة أخرى.