مفارقة ريتشارد

نص المفارقة الأصلي المنسوب لريتشارد (1905)، مرتبط ارتباطًا وثيقًا بـ حجة كانتور القطرية حول استحالة عد مجموعة الأعداد الحقيقية.

تبدأ المفارقة بملاحظة أن بعض تعبيرات اللغة الطبيعية تحدد الأعداد الحقيقية بشكل واضح، في حين أن تعبيرات أخرى للغة الطبيعية لا تفعل ذلك. كمثال العبارة التالية «الرقم الحقيقي الذي جزئه الصحيح 18 ويكون العدد العشري في الموضع n صفرًا إذا كان n زوجي وواحد إذا كان n فردي» التي تصف العدد الحقيقي 18.1010101 ... = 1693/99، بينما عبارة «عاصمة إنجلترا» لا تصف عددًا حقيقيًا، ولا عبارة «أصغر عدد صحيح موجب لا يمكن وصفه بأقل من ستين حرفًا»[2] (انظر مفارقة بيري ^{[الإنجليزية]}).

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

لنقم في البداية بتنظيم قائمة العبارات هذه تصاعديا حسب طول كل عبارة، ثم نرتب معجميا كل العبارات ذات المتساوية الطول، ترتيبا قياسيًا.

نحصل من هذا على قائمة لا حصر لها من الأرقام الحقيقية المقابلة: r₁ ، r₂ . . . .

ننشأ الآن عددًا حقيقيًا جديدًا r على النحو التالي. الجزء الصحيح من r هو 0، وقيمة الجزء العشري في الموضع n من r هي 1 إذا كانت قيمة الجزء العشري في الموضع n للعدد r_n ليست 1، وقيمة الجزء العشري في الموضع n من r هي 2 إذا كانت قيمة الجزء العشري في الموضع n للعدد r_n تساوي 1.

العبارة السابقة عبارة عن تعبير لغوي يحدد بشكل قاطع رقمًا حقيقيًا r. وبناءا عليها ينبغي أن يكون r أحد الأرقام في r_n. ومع ذلك، أُنشِيَء r بحيث لا يمكن أن يساوي أي رقم في r_n (وبالتالي، r هو رقم غير قابل للتعريف ^{[الإنجليزية]}). وهنا يظهر تَنَاقٌض المفارقة.

• قائمة المفارقات
• مفارقة راسل

• " المفارقات والمنطق المعاصر "، موسوعة ستانفورد للفلسفة

• بوابة لسانيات
• بوابة رياضيات
• بوابة منطق