Self-graphing equations
تنقد هذه الورقة المفهوم الشائع لصيغة توبر ذاتية المرجعية لكونها تعتمد طبوغرافياً وتتسم بالسطحية، ثم تعالج هذه المشكلات عبر صياغة المشكلة رسمياً وتقديم حل عام باستخدام نظرية القابلية للحوسبة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل عالماً حيث لا تكتفي الصيغة الرياضية، عند رسمها على ورقة، بوصف شكل ما مثل دائرة أو موجة، بل ترسم بالفعل الكلمات التي تشكل تلك الصيغة نفسها. هذه هي الفكرة الغريبة والآسرة لـ "المعادلة ذاتية الرسم". لقد اكتسب هذا المفهوم اهتماماً واسع النطاق بعد أن انتشرت صيغة محددة تُعرف باسم "صيغة توبر ذاتية المرجعية" عبر الإنترنت. هذه الصيغة الشهيرة قادرة على رسم أي صورة ذات حجم معين، بما في ذلك النص الخاص بالصيغة نفسها، لكنها تعتمد على رقم محدد مسبقاً لكي تعمل. إنها خدعة ذكية للإحداثيات وليست مرجعاً ذاتياً حقيقياً. لطالما تساءل علماء الرياضيات عما إذا كان من الممكن إنشاء معادلة تحتوي بطبيعتها على التعليمات لرسم نفسها، دون الحاجة إلى رمز سري أو رقم محدد لفك شفرة الصورة. ومع ذلك، فإن السؤال معقد لأنه يعتمد كلياً على كيفية اختيارنا لكتابة الحروف والرموز. فإذا تغير الخط، يتغير الرسم، وقد لا تعود المعادلة تطابق الصورة. علاوة على ذلك، إذا سُمح باستخدام أي دالة يمكن تخيلها، يصبح الأمر تافهاً وبلا معنى، إذ يمكن للمرء ببساطة تعريف دالة ترسم أي صورة يريدها، بما في ذلك نص الدالة نفسها.
لقد قام باحث يدعى صمويل ألين ألكسندر الآن بمعالجة هذه العيوب من خلال تحويل المشكلة إلى سؤال رياضي صارم. فبدلاً من التركيز على خط محدد أو مجموعة محددة من الرموز المسموح بها، أنشأ إطاراً عاماً يحدد ما يعنيه أن تكون المعادلة "ذاتية الرسم" بطريقة تعمل مع أي نظام كتابة ورسم معقول. لقد تعامل مع أبجدية الرموز، وطريقة رسمها كأشكال، وطريقة تفسيرها كمعادلات، كنظام رسمي. في هذا النظام، لكل سلسلة من الرموز معنى محدد كرسم على مستوًى. وكان الهدف هو إيجاد سلسلة من الرموز التي، عند تفسيرها كرسم، تنتج نفس سلسلة الرموز نفسها. ولحل هذه المعضلة، لم يعتمد ألكسندر على التخمين أو التجربة والخطأ، بل استخدم أداة قوية من مجال نظرية القابلية للحساب، التي تدرس ما يمكن وما لا يمكن للآلات حسابه. لقد طبق نتيجة شهيرة تُعرف باسم "مبرهنة التكرار"، وهي مبرهنة تُستخدم أصلاً لإثبات أن برنامج كمبيوتر يمكنه طباعة كود المصدر الخاص به، وتضمن أنه تحت شروط منطقية معينة، يمكن للنظام أن يشير إلى نفسه.
يوضح البحث أنه إذا كان نظام المعادلات "ذاتي القيود" — أي أن له بنية منطقية تسم تسمح له بترجمة وصف الرسم إلى معادلة تنتج ذلك الرسم — فإن وجود معادلة ذاتية الرسم هو أمر مضمون. وقد أظهر ألكسندر أن هذا الشرط مستوفى في نظام عملي جداً لكتابة المعادلات. فقد أنشأ مثالاً محدداً باستخدام مجموعة قياسية من الحروف والأرقام والرموز الرياضية، بما في ذلك أدوات خاصة للتعامل مع المجموع اللانهائي والضرب. في هذا النظام، تُرسَم الرموز كأشكال صغيرة مربعة مكونة من بكسلات دقيقة، تماماً مثل الحروف على شاشة رقمية. وقد أثبت الباحث أنه ضمن هذا النظام، توجد سلسلة محددة من الرموز التي، عند رسمها بيانياً، ترسم نفس سلسلة الرموز تلك بدقة. ويعتمد الإثبات على حقيقة أن النظام يمكنه التعبير عن عبارات منطقية معقدة، بما في ذلك القدرة على قول "يوجد" أو "لكل"، مما يسمح للمعادلة بوصف بنيتها الخاصة.
إن هذا الاكتشاف هو إثبات وجود نهائي، وليس وصفة محددة لكتابة مثل هذه المعادلة يدوياً. لا يقدم البحث السلسلة الفعلية من الرموز التي تحل المشكلة، لأن السلسلة ستكون طويلة ومعقدة للغاية، بما يتجاوز قدرة البشر على الكتابة أو القراءة. بدلاً من ذلك، يثبت العمل أن مثل هذه السلسلة يجب أن توجد ضمن أي نظام يستوفي المعايير المنطقية التي وضعها ألكسندر. لقد حسم هذا البحث الجدل حول ما إذا كانت المعادلات ذاتية الرسم مجرد فضول بلا معنى أو استحالة تافهة؛ حيث أظهر أنها ليست كذلك، بل هي واقع رياضي حقيقي ينشأ طبيعياً في الأنظمة القادرة على التعبير عن منطقها الخاص. لقد أوضح العمل أن الصيغة التي انتشرت على الإنترنت لم تكن الطريقة الوحيدة لتحقيق ذلك، كما لم تكن مرجعاً ذاتياً حقيقياً بالمعنى الصارم للكلمة. ومن خلال صياغة قواعد اللعبة بشكل رسمي، أظهر ألكسندر أن عالم المعادلات الرياضية غني بما يكفي لاحتواء صورته الخاصة، بشرط ضبط قواعد اللعبة بشكل صحيح. هذا العمل يجسّر الفجوة بين المنطق المجرد والتمثيل البصري، مثبتاً أن مجموعة من التعليمات يمكنها، بمعناها الحقيقي، أن ترسم نفسها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.