كانت عملية إثبات قانون بواسون للأعداد الكبيرة سهلة نسبياً. لو كُتبت في ورقة أكاديمية ، لكانت ورقة مطولة واحدة يكفى. و مع ذلك كبت وانغ تشي رغبته في إنهائها ، واكتفت بإضافة بعض المحتوى الخطابي في مُخطط الورقة.
"بعد كل شيء ، أنا بحاجة إلى ترك مساحة لذلك العقل أحادي المسار للانضمام في وقت لاحق " قال وانغ تشي.
ومع ذلك بخلاف الثقافة الأكاديمية في شنتشو التي تُركز فقط على محتوى الأوراق البحثية ، يُولي المجتمع الأكاديمي في إيرث اهتماماً كبيراً أيضاً بكمية المنشورات. حيث كان وانغ تشي ما زال مُلِمًّا بتقنية تقسيم الورقة البحثية إلى ورقتين كاملتين ، بحيث تُشكّل خاتمة الأولى أساساً للثانية.
بعد صياغة كمية كبيرة ، وضع وانغ تشي هذه المهمة جانباً ، استعداداً لمناقشتها مع باو شياويا قبل الانتهاء منها.
"حسناً ، ما الذي ينبغي لي معالجته بعد ذلك ؟ "
رأى تشين تشان وانغ تشي غارقاً في أفكاره ، فاقترح بلطف "أتذكر أن مسألة واحد زائد واحد يساوي اثنين شائعة جداً في بحثك عن المتدرب الحديث ، أليس كذلك ؟ أليست هذه المسأله تُسمى حساب اللؤلؤة البراقة ؟ لم لا تُجربها ؟ "
"حساب اللؤلؤة البراقة يندرج ضمن نطاق نظرية الأعداد ، وهو لا يتوافق معي تماماً - خاصةً وأن التفكير في هذه المسأله يُذكرني بتشين جينغيون ، متبوعاً بفكرة "أنا عالق في رأس المال الإلهيّ ، وهذا كله خطأ ذلك الوغد " " قال وانغ تشي بعبوس. "علاوة على ذلك حساب اللؤلؤة البراقة ليس "واحد زائد واحد يساوي اثنين " بل "عدد أولي زائد عدد أولي يساوي عدداً زوجياً " مكتوباً (1 + 1) ، وليس 1 + 1. "
عُرفت "حسابات اللؤلؤة البراقة " على الأرض باسم "تخمين غولدباخ ". ومن المثير للاهتمام أن هذه الحسابات عُثر عليها في شنتشو ، وكانت مرتبطة أيضاً بعائلة بو. حيث كان لباو ياغ وباو يويهان من هذا الجيل أخ آخر لم يكن بارعاً في الرياضيات ، لكن كان لهما ابن واعد ، وهو بو ليغو ، رابع ممارسي عائلة بو. حيث كان بو ليغو ، مثل أخيه باو لي إير ، مولعاً بالسفر. و في أحد الأيام ، أثناء رحلاته ، اكتشف بالصدفة مسكناً كهفياً لمتدرب رياضي قديم. فلم يكن الميراث والكنوز والإكسير الموجود بداخله جديراً بالذكر ، ولكن كانت هناك لؤلؤة مثيرة للاهتمام بشكل خاص لأنها كانت تحمل مسألة حسابية لم تكن مشهورة في العصور القديمة.
كان السؤال هو ، هل يمكن التعبير عن كل عدد زوجي أكبر من اثنين كمجموع عددين أوليين ؟
للوهلة الأولى ، بدت المشكلة بسيطة ، واعتقد معظم الناس حدسياً أنها صحيحة. و لكن إثباتها اتضح أنه صعب للغاية.
وبما أنه كان محفوراً على لؤلؤة ، فقد أطلق عليه الجميع اسم "جوهرة التاج في التفكير الرياضي " أو حساب اللؤلؤة الساطعة.
[ملاحظة: في تاريخ الأرض ، كُتبت تخمينة غولدباخ في رسالة كتبها غولدباخ نفسه إلى أويلر. حيث كان أويلر تلميذاً ليوهان برنولي ، وكانت تربطه علاقة أخوية وطيدة بدانيال برنولي ، وكان على معرفة وثيقة بنيكولا برنولي. حيث كان غولدباخ أيضاً صديقاً مقرّباً ورفيق سفر لنيكولاس برنولي. حيث كان هؤلاء من أوائل الباحثين في تخمينة غولدباخ. ومع ذلك ولأن غولدباخ لم يكن عالم رياضيات ، ولم يترك سوى تخمين ، فقد اختار هذا الكتاب له مساراً مختلفاً.]
"أنا لا أفهم ذلك... "
تنهد وانغ تشي "يجب أن تفكر في الأمر جيداً أيضاً و هل لم يكن لدى تشين جينغيون ما هو أفضل للقيام به سوى البحث عن سبب أن واحد زائد واحد يساوي اثنين... آه ، هذا غير صحيح ، يبدو أن هناك علماء رياضيات لديهم مخاوف حقيقية بشأن صحة البروستاتا لديهم... "
لقد كان هناك بالفعل علماء رياضيات درسوا لماذا واحد زائد واحد يساوي اثنين.
كلما كان الأمر بديهياً ، ازدادت صعوبة تفسيره. واحد زائد واحد يساوي اثنين هو المثال الأبرز. يعلم الجميع أن واحد زائد واحد يساوي اثنين ، ولكن كم منهم يستطيع شرح ذلك ؟
إذا كان بإمكاننا القول أن المشكلة الصعبة النموذجية هي المشكلة التي لا يستطيع معظم علماء الرياضيات فهمها ، فإن هذا المجال هو المجال الذي يفهمه الجميع ، ولكن الدفع خطوة أخرى إلى الأمام سوف يعيق ذلك.
لا شك أن أولئك الذين يستطيعون تفسير المنطق وراء "واحد زائد واحد يساوي اثنين " هم علماء الحساب النخبة القادرون على شق الطريق في هذا المجال الأساسي.
"من المؤسف أن مُسلّمات بينوار موجودة بالفعل في هذا العالم " هزّ وانغ تشي رأسه ، مُعتقداً أنه من الأفضل عدم التطرق إلى هذا الموضوع. فبالإضافة إلى عمق هذا الموضوع لم يكن شائعاً جداً و حتى إدخال باو شياويا فيه لن يلفت الانتباه كثيراً. لا يستحق العناء. مُسلّمات بيانو التي تُضاهي في أهميتها ومكانتها مُسلّمات إقليدس ، تتخلف في شهرتها بأكثر من بضعة صفوف.
في تلك اللحظة ، تذكر وانغ تشي مشكلة أخرى "بالمناسبة ، هذه المنطقة أساسية للغاية ، وعدم معرفتها لا يؤثر كثيراً... لماذا أتذكرها بوضوح شديد ؟ "
المعرفة تتلاشى مع إهمال استخدامها. و مع أن مسلمات بيانو تتناول لماذا واحد زائد واحد يساوي اثنين ، فإن الجهل بها لا يؤثر على القدرة على حساب واحد زائد واحد يساوي اثنين.
لماذا أتذكره جيداً حتى أنه يتبادر إلى ذهني عند أدنى ذكر ؟
فجأة ، ظهرت فكرة في ذهن وانغ تشي.
"يبدو أن هذا له علاقة بهذا الحدث الكبير. "
برنامج هيلبرت ، أكبر وأشهر الأبحاث الرياضية في القرن العشرين.
في بداية القرن العشرين ، أحدثت المفارقات ، وخاصةً مفارقة راسل ، صدمةً كبيرةً في الأوساط الرياضية والمنطقية آنذاك. فقد تحدّت بشكلٍ مباشرٍ أسس الرياضيات والمنطق ، المعروفين بصرامتهما ، وزعزعت معايير موثوقية المفاهيم والافتراضات والمنهجيات الرياضية التقليديه. بعبارةٍ أخرى ، أدى ظهور مفارقاتٍ مرتبطةٍ بأساس الرياضيات ، إلى ما سُمي بالأزمة الرياضية الثالثة. حيث أطلق هيلبرت ، الشخصية الرائدة في الأوساط الرياضية ، برنامج هيلبرت لمعالجة هذه الأزمة وحل جميع الأزمات الرياضية بشكلٍ دائم. حيث كان الهدف الرئيسي من المشروع توفير أساسٍ نظريٍّ متينٍ لجميع الرياضيات. تضمّن جزءه الرئيسي إثبات الاكتمال والتوافق والقدرة على اتخاذ القرار.
ومع ذلك أثبت جودل بشكل غير متوقع أنه غير مكتمل ضمن هذا البرنامج.
أكمل تورينغ إثبات القدرة على اتخاذ القرار متبعاً أفكار جودل ، وبناءً على هذا الاختراق في المنطق الرياضي ، نجح في تطوير نظرية الكمبيوتر.
قفز وانغ تشي وأخرج جهاز كمبيوتر محمولاً من حقيبته التخزينية ، هدية من سو جون يو ، وبدأ في البحث في قاعدة بيانات الأوراق التابعة للتحالف الخالد.
الكلمات الرئيسية ، نظرية الإثبات... ها هي! ثم الأعداد الطبيعية ، النظام الحسابي...
مع إضافة وانغ تشي للكلمات الرئيسية ، ظهرت أوراق بحثية أقل وأقل في قاعدة البيانات حتى اكتشف في النهاية ما كان يبحث عنه.
"حول ما يسمى بالدليل الذي قدمه فون نيومان " للمؤلف فينغ لويي.
كانت الورقة من خمس سنوات مضت.
كان وجود الطاقة الروحية في شنتشو يعني أهمية "الصندوق الأسود للتكنولوجيا " واختلفت شجرة التكنولوجيا عن شجرة الأرض. و في المقابل ، استُخدمت الآلات الحاسبة ، وهي نظائر الحواسيب ، على نطاق واسع لسنوات عديدة ، وكان الذكاء الاصطناعي مطروحاً بالفعل إلا أن المنطق الرياضي الذي يقوم عليه نظرية الحاسوب كان متأخراً عن منطق الأرض.
لم يتردد وانغ تشي في تخصيص نقاط الجدارة التي تلقاها من بيفنغ اليوم وتبادلها بالورقة ، متجاوزاً العملية لقراءة الاستنتاج فقط.
"في هذا النظام الفرعي ، من الممكن تقديم دليل صارم على النهاية... هذه نسخة من كتاب فون نيومان "حول نظرية هيلبرت للإثبات " " أغمض وانغ تشي عينيه وتأمل.
هذا النظام الكوني الذي يفتقر إلى وجود غودل ، يعني أن المنطق الرياضي اتخذ مساراً مختلفاً عن مسار الأرض...
صرخ وانغ تشي "هذا هو الطريق الجيد بالفعل ".
