علم المنطق on kenji.blog

مفارقة بيري: التناقض الناتج عن محاولة تعريف "الأرقام" باستخدام "الكلمات"

Thu, 10 Sep 2026 11:00:00 +0900

1. التعبير عن الأرقام بالكلمات

نحن نستخدم في حياتنا اليومية ليس فقط “الأرقام العربية (1، 2، 3…)” بل أيضًا “الكلمات (مثل اليابانية أو الإنجليزية)” للتعبير عن الأرقام.

على سبيل المثال، الرقم “$10$” يمكن التعبير عنه بكلمات مختلفة كما يلي:

“عشرة” (في اليابانية: じゅう - 3 حروف)
“ضعف الخمسة” (في اليابانية: ごの2ばい - 5 حروف)
“عُشر المائة” (في اليابانية: ひゃくの10ぶんの1 - 9 حروف)

دعونا نفكر في وصف رقم معين باستخدام “الحروف اليابانية” على هذا النحو. سنضع حدًا لعدد الحروف المسموح باستخدامها. هنا سنفكر في الأرقام التي يمكن التعبير عنها باللغة اليابانية بـ “19 حرفًا أو أقل”.

بالطبع، هناك حد للأرقام التي يمكن التعبير عنها في حدود 19 حرفًا. ذلك لأن أنواع الحروف اليابانية (هيراغانا، كاتاكانا، كانجي وغيرها) محدودة، والتراكيب الممكنة لترتيبها في 19 حرفًا أو أقل هي أيضًا محدودة (رغم أنها ستكون رقمًا فلكيًا، إلا أنها ليست لا نهائية).

بعبارة أخرى، لا بد أن يوجد دائمًا “عدد صحيح ضخم لا يمكن التعبير عنه أبدًا بـ 19 حرفًا أو أقل باللغة اليابانية”.

2. ولادة المفارقة

حسنًا، من هنا يبدأ الموضوع الرئيسي. توجد أعداد لا حصر لها من “الأعداد الصحيحة التي لا يمكن التعبير عنها بـ 19 حرفًا أو أقل باللغة اليابانية”. لنفترض أننا بحثنا ووجدنا “أصغرها (أصغر عدد صحيح)” من بين تلك الأعداد التي لا حصر لها والتي لا يمكن التعبير عنها.

سنطلق على هذا الرقم اسم $X$. بحكم التعريف، $X$ هو أصغر عدد من بين “الأعداد التي لا يمكن التعبير عنها بـ 19 حرفًا أو أقل باللغة اليابانية”، لذلك يمكننا تسميته كالتالي:

“じゅうきゅうもじいないであらわせないさいしょうのせいすう” (أصغر عدد صحيح لا يمكن التعبير عنه بتسعة عشر حرفًا أو أقل)

دعونا نعد عدد الحروف (في اليابانية باستخدام الهيراغانا). 「じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う」 … مهلاً؟ حتى لو أزلنا علامات الترقيم، سنجد أنها 25 حرفًا. بهذا الشكل، فقد تجاوزنا حد الـ “19 حرفًا”.

إذن، دعونا نبتكر طريقة أخرى للتعبير ونستخدم الكانجي لتقصيرها.

“十九文字以内で表せない最小の整数”

حسنًا، حاول عد عدد حروف هذه العبارة اليابانية:

يا للعجب، إنها “16 حرفًا” فقط.

لقد حدث شيء غريب. نحن الآن قد عبرنا عن الرقم $X$ باستخدام “16 حرفًا يابانيًا” في العبارة “十九文字以内で表せない最小の整数”!

graph TD Define["التعريف:
X = أصغر عدد صحيح لا يمكن التعبير عنه بـ 19 حرفًا أو أقل"] --> CheckLength{"ما هو عدد حروف العبارة
『十九文字以内で表せない最小の整数』؟"} CheckLength -->|إنها 16 حرفًا| Contradiction["تناقض!
تم التعبير عن X بـ 『16 حرفًا』!"] Contradiction --> Paradox["على الرغم من أن X 『لا يمكن التعبير عنه بـ 19 حرفًا أو أقل』
إلا أنه 『أمكن التعبير عنه بـ 19 حرفًا أو أقل (16 حرفًا)』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

من المفترض أن $X$ هو رقم “لا يمكن التعبير عنه بـ 19 حرفًا أو أقل”، لكن كلمات التعريف نفسها تعبر عن $X$ بشكل كامل بـ “16 حرفًا (أقل من 19 حرفًا)”. هذا هو ما يُعرف بـ “مفارقة بيري (Berry Paradox)”.

3. من الذي ابتكر هذه المفارقة؟

ابتكر هذه المفارقة شخص يُدعى جي. جي. بيري (G. G. Berry)، والذي كان يعمل أمين مكتبة في جامعة أكسفورد في عام 1904. وبعد ذلك، قام عالم الرياضيات والفيلسوف العبقري الذي يمثل القرن العشرين، بيرتراند راسل، بتقديمها في إحدى أوراقه البحثية، مما أدى إلى انتشارها في جميع أنحاء العالم.

(※ في الورقة البحثية الأصلية باللغة الإنجليزية، استُخدم التعبير “The least integer not nameable in fewer than nineteen syllables” (أصغر عدد صحيح لا يمكن تسميته بأقل من تسعة عشر مقطعًا لفظيًا)، وتمت صياغة المفارقة بحيث تتحقق بناءً على عدد المقاطع اللفظية في اللغة الإنجليزية.)

4. لماذا حدث هذا التناقض؟

السبب الجذري لهذه المفارقة يكمن في الغموض والمرجعية الذاتية التي تتميز بها “اللغات الطبيعية (مثل اليابانية والإنجليزية وغيرها)” التي نستخدمها في حياتنا اليومية.

اللغة الطبيعية لا تستطيع تحمل صرامة الرياضيات

في عالم الرياضيات، يعتبر “تعريف الأرقام” عملية صارمة للغاية (حيث تُستخدم المعادلات والرموز). ولكن في مفارقة بيري، حاولنا تعريف كائن رياضي (عدد صحيح) باستخدام اللغة اليومية للبشر مثل “يمكن التعبير عنه” و"لا يمكن التعبير عنه".

اللغة اليومية قوية ومرنة للغاية، وبسبب هذه المرونة، يمكننا القيام بأشياء بهلوانية مثل “الإشارة إلى عدد حروفها نفسها”. ونتيجة لذلك، حدث تناقض ذاتي (مفارقة المرجعية الذاتية) حيث “التعريف نفسه يكسر قاعدة التعريف”.

ماذا يعني “أن يُسمى”؟

بالإضافة إلى ذلك، فإن تعريف عبارة “يمكن التعبير عنه بـ 16 حرفًا” هو أيضًا غامض. عبارة “أصغر عدد صحيح لا يمكن التعبير عنه بـ 19 حرفًا أو أقل” لا تشير بشكل مباشر إلى رقم محدد ومعين (مثل الرقم $987654321...$). إنها ببساطة تصف بشكل غير مباشر قائلة: “يجب أن يكون هناك رقم يستوفي هذه الشروط”.

رياضياً، يجب التمييز بوضوح بين “التعبير عنه بطريقة قابلة للحساب بشكل مباشر” و"ذكر شروط غير مباشرة بالكلمات". هناك خدعة منطقية مخفية في الخلط بين هذين الأمرين والادعاء بأنه “تم التعبير عنه بـ 16 حرفًا!”.

5. الخلاصة وتأثيرها على العصر الحديث

قد تبدو مفارقة بيري للوهلة الأولى مجرد “تلاعب بالكلمات” أو “دعابة”. ولكن هذه المشكلة جعلت علماء الرياضيات في القرن العشرين يدركون بعمق “خطر بناء أسس الرياضيات باستخدام اللغة اليومية”.

“يجب ألا نعرّف الأرقام بالكلمات. يجب بناء الرياضيات بالكامل باستخدام رموز صارمة ومستقلة تمامًا.”

أصبحت هذه المفارقة علامة إرشادية هامة أدت إلى تطورات في العلوم المتطورة، مثل “مبرهنات عدم الاكتمال لغودل” (التي تنص على وجود حقائق في الرياضيات لا يمكن إثباتها أبدًا) التي غيرت تاريخ الرياضيات لاحقًا، و"تعقيد كولموغوروف" في علوم الكمبيوتر (وهي نظرية حول مدى قصر ضغط المعلومات).

إن 16 حرفًا يابانيًا فقط كانت كفيلة بكشف حدود الرياضيات. هذا هو الجمال الكامن في مفارقة بيري.

مفارقة راسل: هل "مجموعة المجموعات التي لا تحتوي على نفسها" تحتوي على نفسها؟

Thu, 10 Sep 2026 04:00:00 +0900

1. “مفارقة الحلاق” التي عصفت بقرية هادئة

في قرية مسالمة، كان هناك حلاق واحد. وعلى مدخل القرية، كانت توجد لافتة غريبة مكتوب عليها الآتي:

“حلاق هذه القرية يحلق لحى جميع القرويين الذين لا يحلقون لأنفسهم، ولا يحلق لحى غيرهم.”

كان القرويون راضين عن هذه القاعدة. فمن لا يستطيع الحلاقة لنفسه يمكنه الذهاب إلى الحلاق، ومن يستطيع أن يحلق لنفسه يفعل ذلك في منزله.

لكن في أحد الأيام، نظر الحلاق الشاب إلى المرآة وأدرك فجأة أن لحية خفيفة قد نبتت على ذقنه. “حسناً، هل يجب أن أحلق لحيتي بنفسي؟”

قرر أن يفكر بشكل منطقي وفقًا لقاعدة اللافتة.

ماذا لو قرر “أن يحلق لنفسه”؟ وفقًا للقاعدة، يُسمح للحلاق فقط بحلاقة لحى “الأشخاص الذين لا يحلقون لأنفسهم”. لذلك، إذا كان يحلق لنفسه، فليس له الحق في أن يحلق له الحلاق (نفسه). أي أنه “يجب ألا يحلق لنفسه”.
ماذا لو قرر “ألا يحلق لنفسه”؟ وفقًا للقاعدة، يجب على الحلاق أن يحلق لحى جميع “الأشخاص الذين لا يحلقون لأنفسهم”. لذلك، إذا لم يحلق لنفسه، فيجب أن يحلق له الحلاق (نفسه). أي أنه “يجب أن يحلق لنفسه”.

“إذا قرر أن يحلق، فلا يجب أن يحلق.” “إذا قرر ألا يحلق، فيجب أن يحلق.”

أصيب الحلاق بالذعر التام ولم يعد قادرًا على اتخاذ أي من الإجراءين. هذه هي “مفارقة الحلاق” الشهيرة.

graph TD Barber["الحلاق: هل يجب أن أحلق لحيتي؟"] Barber -->|نعم: أحلق لنفسي| Cond1["مخالفة للقاعدة!
（لا يجب أن يحلق لمن يحلق لنفسه）"] Barber -->|لا: لا أحلق لنفسي| Cond2["مخالفة للقاعدة!
（يجب أن يحلق لمن لا يحلق لنفسه）"] Cond1 --> Paradox["تناقض (مفارقة)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. “مفارقة راسل” التي زلزلت عالم الرياضيات

هذه “مفارقة الحلاق” هي مجرد قصة رمزية ابتكرها عالم المنطق والفيلسوف البريطاني برتراند راسل لشرح المفارقة الرياضية التي اكتشفها بطريقة يسهل على عامة الناس فهمها.

ما اكتشفه حقًا لم يكن حلاقًا، بل كان تناقضًا مرعبًا يتعلق بـ “المجموعة (Set)”. يطلق على هذا اسم “مفارقة راسل (1901)”.

مفهوم “مجموعة المجموعات”

“المجموعة” في الرياضيات تعني تجمعًا من الأشياء التي تلبي شروطًا معينة.

“مجموعة الأعداد الزوجية التي تساوي أو تقل عن 10” = $\{2, 4, 6, 8, 10\}$
“مجموعة التفاح الأحمر”

ويمكن أيضًا إدراج “مجموعة” أخرى كعنصر داخل المجموعة. على سبيل المثال، لنفكر في “مجموعة كل الكتب في العالم”. هذه المجموعة بحد ذاتها ليست “كتابًا”، لذا فإن “مجموعة كل الكتب في العالم” لا تتضمن نفسها كعنصر في مجموعتها.

من ناحية أخرى، لنفكر في “مجموعة الأشياء التي ليست كتبًا”. هذه المجموعة بحد ذاتها ليست “كتابًا”. وبالتالي، فإن “مجموعة الأشياء التي ليست كتبًا” ستكون متضمنة داخل مجموعتها نفسها.

بهذه الطريقة، يمكن تقسيم المجموعات في العالم إلى نوعين رئيسيين:

A: مجموعات لا تحتوي على نفسها كعنصر (مثال: مجموعة الكتب)
B: مجموعات تحتوي على نفسها كعنصر (مثال: مجموعة الأشياء التي ليست كتبًا)

ولادة المجموعة الشيطانية $R$

هنا، فكر راسل في مجموعة خاصة $R$ كما يلي:

المجموعة $R$ = مجموعة تحتوي على جميع “المجموعات التي لا تحتوي على نفسها كعنصر (من النوع A)”

عند كتابتها كصيغة رياضية (التدوين البنائي)، تصبح هكذا:

$$ R = \{ x \mid x \notin x \} $$

حسنًا، هنا يكمن صلب الموضوع. طرح راسل السؤال التالي على هذه المجموعة $R$:

“هل المجموعة $R$ تحتوي على نفسها ($R$) كعنصر؟”

لنفكر في ذلك.

ماذا لو كانت $R$ “تحتوي على نفسها ($R \in R$)"؟ شرط الدخول إلى $R$ هو “ألا تحتوي على نفسها”. بالتالي، $R$ لا تلبي الشرط ولا يمكن أن تدخل ضمن $R$. (يصبح $R \notin R$ مما يشكل تناقضًا)
ماذا لو كانت $R$ “لا تحتوي على نفسها ($R \notin R$)"؟ شرط الدخول إلى $R$ هو “ألا تحتوي على نفسها”. بالتالي، $R$ تلبي الشرط بامتياز ويجب أن تدخل ضمن $R$. (يصبح $R \in R$ مما يشكل تناقضًا)

إذا كتبناها رياضياً، فهو انهيار منطقي في سطر واحد.

$$ R \in R \iff R \notin R $$

“إذا كانت تحتوي، فهي لا تحتوي.” “إذا كانت لا تحتوي، فهي تحتوي.” هذا هو نفس هيكل مفارقة الحلاق تمامًا. ولكن في حالة حلاق القرية، يمكن أن ينتهي الأمر بضحكة والقول “العمدة الذي وضع هذه القاعدة مجرد غبي”، أما في عالم الرياضيات فالأمر ليس كذلك.

ذلك لأن عالم الرياضيات في ذلك الوقت كان في خضم محاولة إعادة بناء جميع الرياضيات على أساس قاعدة بسيطة (نظرية المجموعات المبسطة) تنص على أنه “طالما قمت بتحديد الشروط بوضوح، يمكنك إنشاء ‘مجموعة’ بحرية من أي شيء”.

3. مأساة فريجه

كان الشخص الذي أرسل إليه راسل هذه الرسالة هو عالم المنطق الألماني العظيم جوتلوب فريجه. كان فريجه قد أرسل للتو المجلد الثاني من كتابه الضخم “القوانين الأساسية لعلم الحساب”، الذي كرس حياته كلها من أجله، إلى المطبعة. كان هذا الكتاب هو تتويج لمحاولة إثبات كمال الرياضيات بناءً على قاعدة أنه “يمكنك إنشاء مجموعة من أي شرط”.

عندما قرأ فريجه رسالة راسل، أصيب باليأس. لأنه تم إثبات أن استخدام قاعدة “أساس الأساس” في كتابه يمكن أن يخلق “مجموعة متناقضة تمامًا” مثل مفارقة راسل. إذا انهار الأساس، فإن جميع المعادلات الرياضية التي تم بناؤها عليه والتي تبلغ مئات الصفحات ستصبح باطلة.

ترك فريجه الملحق المؤلم التالي في نهاية كتابه قبل نشره مباشرة:

“بالنسبة للعالم، لا يوجد شيء أكثر بؤسًا من رؤية أساس عمله ينهار في اللحظة التي اعتقد فيها أن عمله قد اكتمل. بعد إرسال هذا الكتاب للطباعة مباشرة، وضعتني رسالة من السيد برتراند راسل في هذا الموقف بالذات.”

4. التغلب على الأزمة: ولادة نظرية المجموعات البديهية

تسببت مفارقة راسل في حالة من الذعر الكبير في عالم الرياضيات، والتي يشار إليها باسم “أزمة أسس الرياضيات”. القاعدة الحرة التي كانت تنص على “طالما حددت الشروط، يمكنك إنشاء مجموعة بحرية” قد أدت إلى خلق وحش يسمى التناقض.

لحل هذه الأزمة، شرع علماء الرياضيات في جعل القواعد أكثر صرامة. قام علماء الرياضيات مثل تسيرميلو وفرينكل بتطوير كتاب قواعد (نظام بديهي) يميز بصرامة بين “المجموعات المسموح بإنشائها” و"المجموعات غير المسموح بإنشائها (لأنها كبيرة جداً)”. يُطلق على هذا اسم “بديهيات زيرميلو-فرانكل (نظرية المجموعات البديهية)”.

بموجب نظام ZFC البديهي، فإن المجموعة $R$ التي فكر فيها راسل والتي تضم “جميع ‘المجموعات التي لا تحتوي على نفسها’” تم منعها من دخول عالم الرياضيات على أساس أنها “كبيرة جدًا وخطيرة، لذا لم تعد تعتبر ‘مجموعة’ (بل هي مجرد ‘صنف’)”.

graph LR subgraph "نظرية المجموعات المبسطة (قبل راسل)" Free["يمكنك إنشاء مجموعة
بحرية تحت أي شرط!"] --> Monster["وحش التناقض R
(مفارقة راسل)"] end subgraph "نظرية المجموعات البديهية (الرياضيات الحديثة)" Strict["فقط ما يتبع القواعد
الصارمة (البديهيات) هو 'مجموعة'"] --> Safe["التناقض R غير معترف به
كـ 'مجموعة' لذا فهو آمن!"] end Monster -.->|أزمة عالم الرياضيات| Strict

5. الخلاصة: المفارقة هي دواء قوي لإصلاح “أخطاء المنطق”

مفارقة راسل هي الذروة لأخطاء المنطق التي تسببها الإشارة الذاتية (الإشارة إلى الذات)، مثل “الثعبان الذي يأكل ذيله (أوروبوروس)” أو “الكاذب الذي يقول أنا كاذب”.

ما يبدو للوهلة الأولى كمجرد سفسطة أو تلاعب بالكلمات، أدى إلى تدمير أسس الرياضيات، التي تعتبر أكثر العلوم صرامة، ونتيجة لذلك تطورت الرياضيات إلى شيء أقوى وأكثر صرامة.

لو لم يلاحظ هذا العبقري راسل “خطأ الحلاق”، لكان من الممكن أن تتطور الرياضيات الحديثة وعلوم الكمبيوتر، التي هي امتداد لمنطقها، وهي تحمل تناقضًا مميتًا في مكان ما. المفارقة هي الدواء الأكثر تحفيزًا الذي يعلمنا حدود المنطق البشري.