On reliable computing on the real numbers

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

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

يعتمد جوهر نهجه على فكرة بسيية ولكنها قوية: التجاور. في العالم الحقيقي، إذا كان لديك قطعة أرض وقمت بتقسيمها إلى قطع أصغر، فإن القطع الجديدة ستظل تلامس جيرانها بطريقة يمكن التنبؤ بها. يقوم أمبروشكيفيتش بصياغة علاقة التلامس هذه بشكل رسمي؛ حيث يبتكر نظاماً يتم فيه تقسيم "وحدة" إلى أجزاء أصغر، ثم تُقسم تلك الأجزاء مرة أخرى، وهكذا. وفي كل خطوة، يتتبع النظام أي الأجزاء تقع بجانب بعضها البعض. هذا يخلق سلسلة من الاتصالات تحاكي سلاسة الخط المستمر دون الحاجة أبداً للتعامل مع اللانهاية بشكل مباشر. لا يحتاج الحاسوب لمعرفة القيمة الدقيقة للعدد؛ بل يحتاج فقط لمعرفة أي "جار" ينتمي إليه العدد عند مستوى معين من التفصيل.

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

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

كما يتناول أمبروشكيفيتش مسألة كيفية ارتباط هذه الأنماط المجردة بالفضاءات الطوبولوجية التي يستخدمها علماء الرياضيات لوصف الأشكال والفضاءات. حيث يوضح أن تسلسل التقسيمات والاتصالات الذي حدده يمكن رسم خرائط له مباشرة على أشكال مألوفة مثل الخط أو المربع أو حتى هياكل أكثر تعقيداً مثل الطارة (torus). وهذا يعني أن منهجه لا يقتصر على الأعداد البسيطة فحسب؛ بل يوفر أساساً للحوسبة على الأشكال الهندسية المعقدة أيضاً. والنظام مرن بما يكفي للتعامل مع أبعاد وأنماط مختلفة، مما يسمح بنمذجة مختلف الحقائق الفيزيائية.

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

تخلص الورقة إلى أن هذا النهج يقدم مساراً عملياً نحو حوسبة موثوقة. فمن خلال التعامل مع الأعداد الحقيقية كسلسلة من الفترات المتصلة والمقسمة بدلاً من كونها نقاطاً ثابتة ولانهائية، يمكن للحواسيب إجراء حسابات صحيحة رياضياً وتضمن نتائج موثوقة نسبياً عبر حساب حدود الدالة، بدلاً من محاولة القضاء على تراكم الخطأ تماماً. هذا ليس مجرد تمرين نظري؛ إذ يشير المؤلف إلى أن هذه المبادئ ذات صلة بالفعل في مجالات مثل الهندسة ورسوم الحاسوب، حيث تُستخدم شبكات من البكسلات والفوكسلات (voxels) لنمذجة العالم. ومن خلال فهم البنية الأساسية لكيفية اتصال هذه الشبكات، يمكننا بناء برمجيات تتعامل مع الطبيعة المستمرة للواقع باستخدام الأدوات المنفصلة للآلة. ويشير العمل إلى أن مفتاح الحوسبة الموثوقة لا يكمن في جعل الآلة تشبه البشر، بل في إعادة التفكير في كيفية تعريفنا لمفاهيم العدد والفضاء لتناسب نقاط قوة الآلة.