20वीं सदी की शुरुआत में, दार्शनिक और गणितज्ञ Bertrand Russell ने दुनिया के सामने एक ऐसी समस्या रखी जो एक साधारण शब्द-खेल जैसी लगती थी, लेकिन वास्तव में आधुनिक गणित की नींव में छिपी एक विनाशकारी खामी को उजागर करती थी।
इसे “नाई का विरोधाभास” के नाम से जाना जाता है और यह निम्नलिखित स्थिति प्रस्तुत करता है:
एक दूरस्थ गाँव में केवल एक ही नाई है। इस जगह एक पूर्ण और अटूट नियम है: नाई केवल उन्हीं पुरुषों की दाढ़ी बनाता है जो अपनी दाढ़ी खुद नहीं बनाते।
समस्या तब पैदा होती है जब हम अपने आप से अंतिम प्रश्न पूछते हैं: क्या नाई अपनी दाढ़ी खुद बनाता है?
- – यदि नाई अपनी दाढ़ी खुद बनाता है: तो वह नियम तोड़ता है, क्योंकि नियम कहता है कि वह केवल उन्हीं की दाढ़ी बना सकता है जो अपनी दाढ़ी खुद नहीं बनाते। इसलिए, उसे अपनी दाढ़ी खुद नहीं बनानी चाहिए।
- – यदि नाई अपनी दाढ़ी खुद नहीं बनाता: तो वह तुरंत उन पुरुषों के समूह में आ जाता है जो अपनी दाढ़ी खुद नहीं बनाते। और चूँकि नियम कहता है कि नाई उसी समूह की दाढ़ी बनाता है, तो वह अपनी दाढ़ी खुद बनाने के लिए बाध्य है।
यह एक अनंत चक्र है। यदि वह ऐसा करता है, तो वह ऐसा नहीं कर सकता; और यदि वह ऐसा नहीं करता, तो उसे ऐसा करना पड़ता है। आपका दिमाग अभी-अभी ठप हो गया।
समस्या का वास्तविक उत्तर क्या है?
सालों तक, लोगों ने इस कहानी में खामियाँ ढूँढ़ने की कोशिश की: “कि नाई एक महिला थी”, “कि नाई गंजा था और उसकी दाढ़ी नहीं थी”, या “कि किसी दूसरे गाँव का नाई वहाँ आ गया”। लेकिन शुद्ध तर्क में, वे उत्तर चालाकी भर हैं।
इस विरोधाभास का सच्चा वैज्ञानिक और गणितीय उत्तर जितना सरल है, उतना ही विनाशकारी भी है: नाई का अस्तित्व ही नहीं है। यह एक तार्किक असंभवता है।
Russell ने यह कहानी यह दिखाने के लिए गढ़ी थी कि उसके समय के गणितज्ञ जिस “Set Theory” का उपयोग करते थे, उसमें एक गंभीर खामी थी। उन्होंने दिखाया कि आप कागज़ पर एक ऐसा नियम लिख सकते हैं जो पूरी तरह तार्किक लगता है, लेकिन जब आप उसे वास्तविकता पर लागू करने की कोशिश करते हैं, तो वह खुद को ही नष्ट कर देता है।
इस विरोधाभास का समाधान यह स्वीकार करने में है कि नाई को परिभाषित करने वाली शर्त स्वयं विरोधाभासी है; इसलिए, उस नियम को पूरा करने वाले किसी पात्र का अस्तित्व गणितीय रूप से असंभव है।
इस सिरदर्द की बदौलत, वैज्ञानिकों को आधुनिक गणित के नियमों को फिर से लिखना पड़ा ताकि तर्क के ये “ब्लैक होल” दोबारा पैदा न हों।