<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>مبرهنة عدم الاكتمال لغودل on kenji.blog</title><link>http://kenji.blog/ar/tags/%D9%85%D8%A8%D8%B1%D9%87%D9%86%D8%A9-%D8%B9%D8%AF%D9%85-%D8%A7%D9%84%D8%A7%D9%83%D8%AA%D9%85%D8%A7%D9%84-%D9%84%D8%BA%D9%88%D8%AF%D9%84/</link><description>Recent content in مبرهنة عدم الاكتمال لغودل on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ar</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/ar/tags/%D9%85%D8%A8%D8%B1%D9%87%D9%86%D8%A9-%D8%B9%D8%AF%D9%85-%D8%A7%D9%84%D8%A7%D9%83%D8%AA%D9%85%D8%A7%D9%84-%D9%84%D8%BA%D9%88%D8%AF%D9%84/index.xml" rel="self" type="application/rss+xml"/><item><title>مفارقة ريشار: التناقض الذي تسببه الأعداد العشرية اللانهائية و"الحجة القطرية"</title><link>http://kenji.blog/ar/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/ar/p/richards-paradox/</guid><description>&lt;img src="http://kenji.blog/p/richards-paradox/img/richards_paradox.jpg" alt="Featured image of post مفارقة ريشار: التناقض الذي تسببه الأعداد العشرية اللانهائية و"الحجة القطرية"" />&lt;h2 id="1-قائمة-الأرقام-التي-يمكن-تعريفها-بالكلمات">1. قائمة الأرقام التي يمكن تعريفها بالكلمات
&lt;/h2>&lt;p>تعتبر &amp;ldquo;مفارقة ريشار&amp;rdquo;، التي نشرها عالم الرياضيات الفرنسي جول ريشار عام 1905، بمثابة قريب لـ &amp;ldquo;مفارقة بيري&amp;rdquo; التي قدمناها سابقاً. لكن هذه المفارقة أكثر رياضية وتحتوي على تناقض أعمق يشبه النظر في اللانهاية.&lt;/p>
&lt;p>أولاً، تخيل جمع كل &lt;strong>&amp;ldquo;الأعداد الحقيقية (الكسور العشرية) بين 0 و 1 التي يمكن تعريفها بالكامل بجمل لغوية&amp;rdquo;&lt;/strong>. (في المثال الأصلي، باللغة اليابانية، وهنا سنفترض لغة محددة).&lt;/p>
&lt;p>على سبيل المثال، أرقام مثل هذه:&lt;/p>
&lt;ul>
&lt;li>&amp;ldquo;صفر نقطة خمسة&amp;rdquo; $\rightarrow$ $0.5$&lt;/li>
&lt;li>&amp;ldquo;ثلث&amp;rdquo; $\rightarrow$ $0.333333...$&lt;/li>
&lt;li>&amp;ldquo;الرقم المكون من الأرقام بعد الفاصلة العشرية لـ بي (pi)&amp;rdquo; $\rightarrow$ $0.14159265...$&lt;/li>
&lt;/ul>
&lt;p>بما أن التراكيب الممكنة للجمل التي يمكن التعبير عنها بلغة ما تتكون فقط من ترتيب الأحرف الموجودة في القاموس، فيمكننا تحديد &amp;ldquo;ترتيب&amp;rdquo; لها.
(على سبيل المثال، ترتيبها حسب عدد الأحرف من الأقل إلى الأكثر، وإذا كان لها نفس عدد الأحرف، يتم ترتيبها حسب الترتيب الأبجدي).&lt;/p>
&lt;p>وبهذه الطريقة، يمكننا إنشاء &lt;strong>قائمة (رقم) لا نهائية&lt;/strong> للأرقام: الأول، الثاني، الثالث&amp;hellip; لـ &amp;ldquo;كل الأعداد الحقيقية التي يمكن تعريفها باللغة&amp;rdquo;.&lt;/p>
$$
\begin{align*}
r_1 &amp;= 0.\mathbf{3}333... \\
r_2 &amp;= 0.5\mathbf{0}00... \\
r_3 &amp;= 0.14\mathbf{1}5... \\
r_4 &amp;= 0.777\mathbf{7}... \\
&amp;\vdots
\end{align*}
$$
&lt;p>في هذه القائمة، يجب أن تكون &amp;ldquo;كل الأعداد الحقيقية التي يمكن تعريفها باللغة&amp;rdquo; مشمولة بالكامل دون ترك أي استثناء.&lt;/p>
&lt;hr>
&lt;h2 id="2-تقنية-الشيطان-الحجة-القطرية">2. تقنية الشيطان &amp;ldquo;الحجة القطرية&amp;rdquo;
&lt;/h2>&lt;p>هنا، يقوم ريشار بعملية مرعبة.
إنه يخلق بشكل مصطنع &lt;strong>&amp;ldquo;رقماً جديداً تماماً $X$&amp;rdquo;&lt;/strong> يتجنب كل الأرقام الموجودة في القائمة.&lt;/p>
&lt;p>طريقة إنشائه بسيطة:&lt;/p>
&lt;ul>
&lt;li>انظر إلى الرقم في الخانة العشرية &lt;strong>الأولى&lt;/strong> للرقم &lt;strong>الأول&lt;/strong> في القائمة (في المثال أعلاه، هو $3$). أضف $1$ إلى هذا الرقم، واجعله الخانة الأولى لـ $X$ ($3+1=4$).&lt;/li>
&lt;li>انظر إلى الرقم في الخانة العشرية &lt;strong>الثانية&lt;/strong> للرقم &lt;strong>الثاني&lt;/strong> في القائمة (في المثال أعلاه، هو $0$). أضف $1$ إلى هذا الرقم، واجعله الخانة الثانية لـ $X$ ($0+1=1$).&lt;/li>
&lt;li>انظر إلى الرقم في الخانة العشرية &lt;strong>الثالثة&lt;/strong> للرقم &lt;strong>الثالث&lt;/strong> في القائمة (في المثال أعلاه، هو $1$). أضف $1$ إلى هذا الرقم، واجعله الخانة الثالثة لـ $X$ ($1+1=2$).&lt;/li>
&lt;/ul>
&lt;p>※ إذا كان الرقم الأصلي $9$، نفترض أنه يعود إلى $0$.&lt;/p>
&lt;div class="mermaid">graph TD
subgraph "الأعداد الحقيقية المدرجة في القائمة"
R1["r1 = 0.[3]33..."]
R2["r2 = 0.5[0]0..."]
R3["r3 = 0.14[1]..."]
R4["r4 = 0.777[7]..."]
end
subgraph "الرقم الجديد المبتكر X"
X["X = 0.4128..."]
end
R1 -->|إضافة 1 للخانة 1| X
R2 -->|إضافة 1 للخانة 2| X
R3 -->|إضافة 1 للخانة 3| X
R4 -->|إضافة 1 للخانة 4| X
style X fill:#aaffaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>الرقم الجديد $X$ الذي تم إنشاؤه بهذه الطريقة (في المثال أعلاه، $X = 0.4128...$) &lt;strong>لا يتطابق أبداً مع أي رقم&lt;/strong> في القائمة.
والسبب هو أنه تم تعمد إزاحة الرقم في &amp;ldquo;الخانة العشرية $n$&amp;rdquo; ليكون مختلفاً عن الرقم $n$ في القائمة.
(هذه الطريقة ابتكرها عالم الرياضيات العبقري كانتور لإثبات الحجم اللانهائي للأعداد الحقيقية وتسمى &lt;strong>&amp;ldquo;الحجة القطرية&amp;rdquo;&lt;/strong>).&lt;/p>
&lt;hr>
&lt;h2 id="3-اكتمال-مفارقة-ريشار">3. اكتمال مفارقة ريشار
&lt;/h2>&lt;p>الآن، هنا تكمن المفارقة.&lt;/p>
&lt;p>لقد أنشأنا للتو الرقم الجديد $X$.
والـ &amp;ldquo;قاعدة&amp;rdquo; لإنشاء هذا الـ $X$ مشروحة (معرّفة) بشكل كامل بواسطة &lt;strong>الجمل اللغوية التي كتبتها للتو أعلاه&lt;/strong>.&lt;/p>
&lt;p>بعبارة أخرى، $X$ هو &lt;strong>&amp;ldquo;عدد حقيقي يمكن تعريفه باللغة&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>لكن تذكر الفرضية الأولى.
يجب أن تكون &amp;ldquo;الأعداد الحقيقية التي يمكن تعريفها باللغة&amp;rdquo; &lt;strong>مشمولة بالكامل في القائمة الأولى ($r_1, r_2, r_3...$)&lt;/strong>.
ومع ذلك، تم تصميم $X$ بحيث لا يتطابق مع أي رقم في القائمة.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>يجب أن يكون $X$ موجوداً في القائمة (لأنه عُرِّف باللغة).&lt;/strong>&lt;/li>
&lt;li>&lt;strong>يجب ألا يكون $X$ موجوداً في القائمة (لأنه صُمم باستخدام الحجة القطرية ليكون مختلفاً عن كل الأعداد في القائمة).&lt;/strong>&lt;/li>
&lt;/ol>
&lt;p>تناقض كامل! هذه هي مفارقة ريشار.&lt;/p>
&lt;hr>
&lt;h2 id="4-لماذا-انهار-المنطق-فخ-لغة-الميتا">4. لماذا انهار المنطق؟ (فخ لغة الميتا)
&lt;/h2>&lt;p>السبب وراء ولادة هذه المفارقة، تماماً مثل مفارقة بيري، يكمن في الخلط بين &amp;ldquo;مستويات اللغة&amp;rdquo;.&lt;/p>
&lt;p>للقيام بالرياضيات بدقة، يجب التمييز بوضوح بين &amp;ldquo;قائمة الأرقام المستهدفة (اللغة الهدف)&amp;rdquo; و&amp;quot;القواعد التي تتحدث عن خصائص تلك القائمة من الخارج (لغة الميتا / اللغة الفوقية)&amp;quot;.&lt;/p>
&lt;p>قائمة ريشار هي مجموعة من &amp;ldquo;التعريفات للأرقام القابلة للحساب&amp;rdquo;.
ومع ذلك، فإن قاعدة &amp;ldquo;النظر إلى الخانة $n$ للرقم $n$ في القائمة&amp;rdquo; لإنشاء الرقم الجديد $X$ هي عملية تخص &lt;strong>&amp;ldquo;لغة الميتا&amp;rdquo; ولا يمكن تنفيذها إلا بالنظر إلى القائمة بأكملها من الخارج&lt;/strong>.&lt;/p>
&lt;p>انفجرت مفارقة ريشار في تناقض ذاتي لأنها حاولت خلسة إدخال &amp;ldquo;الرقم الميتالغوي $X$ الذي تم إنشاؤه عن طريق معالجة القائمة من الخارج&amp;rdquo; إلى &amp;ldquo;القائمة الداخلية&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="5-تسليم-الراية-إلى-غودل">5. تسليم الراية إلى غودل
&lt;/h2>&lt;p>أحدثت مفارقة ريشار هذه صدمة كبيرة في الأوساط الرياضية في ذلك الوقت.
&amp;ldquo;الكلمات البشرية (والأنظمة المنطقية)، إذا لم نكن حذرين، تؤدي بسرعة إلى تناقضات ذاتية. كيف يمكننا جعل الرياضيات مثالية وخالية من التناقضات؟&amp;rdquo;&lt;/p>
&lt;p>في عام 1931، تم حل هذه المشكلة نهائياً من قبل عالم الرياضيات العبقري الشاب كورت غودل، الذي كان يبلغ من العمر 25 عاماً فقط.
قام غودل بترجمة وإعادة إنتاج هيكل هذه المفارقة - التي أثارها ريشار باستخدام &amp;ldquo;غموض اللغة&amp;rdquo; - بشكل مثالي باستخدام &lt;strong>&amp;ldquo;صيغ رياضية دقيقة (أرقام غودل)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>النتيجة التي تم استخلاصها من ذلك هي &lt;strong>&amp;ldquo;مبرهنة عدم الاكتمال لغودل&amp;rdquo;&lt;/strong> الشهيرة.
كان هذا اكتشافاً عظيماً يثبت حدود المعرفة البشرية: &amp;ldquo;بغض النظر عن مدى دقة القواعد الرياضية التي نضعها، ستظهر دائماً &amp;ldquo;حقائق لا يمكن إثباتها أو دحضها&amp;rdquo; ضمن تلك القواعد (الرياضيات غير مكتملة)&amp;rdquo;.&lt;/p>
&lt;p>بدأت مفارقة ريشار كلعب بالكلمات المتناقضة، ثم تطورت في النهاية إلى أقوى سلاح لتحطيم &amp;ldquo;المطلقية&amp;rdquo; في مجال الرياضيات نفسه.&lt;/p></description></item></channel></rss>