تعدّ الوحدةُ المصادرَ، وتعدّ التعدديةُ النتائجَ القابلة للتمييز. ويصلهما النموذج بقواعد صريحة للحالة والتحديث والذاكرة والقراءة.
ما الذي ستتعلمه
- التمييز بين المصدر وحالاته ومساراته.
- عدّ المسارات وتحديد الفروق التي يحتفظ بها الكاشف.
- كتابة مكونات نموذج أدنى للمصدر.
قبل أن تبدأ: لا توجد متطلبات سابقة. تكفي معرفة العدّ ومعنى القاعدة.
ماذا يعني وجود مصدر واحد؟
يقترح نموذج الموناد المفرد، الذي يُختصر إلى SMM، أصلاً توليدياً مشتركاً للتعددية المرصودة. نبدأ بالفصل بين سؤالين: كم عدد المصادر الأساسية، وكم نتيجة قابلة للتمييز يمكن أن ينتجها نشاطها؟ يستطيع عازف واحد أداء متتاليات كثيرة؛ فعدد العازفين لا يساوي عدد المتتاليات الممكنة. يوضح هذا التشبيه الفرق المنطقي، لكنه لا يقدم تفسيراً فيزيائياً للكون.
المصدر المقترح سابق على الفضاء بالمعنى التفسيري. فوصفه بأنه نقطة صغيرة يفترض سلفاً فضاءً يحيط بها ومسافةً وموضعاً. أما البناء الصريح فيبدأ بالحالات والعمليات المسموحة، ثم يسأل إن كانت العلاقات بين نتائجها تستطيع اكتساب معنى مكاني. ولا تسند هذه الخطوة الأولى أي موضع إلى المصدر.
افصل بين أربعة أشياء
تحتوي الحالة على المعلومات التي يستخدمها النموذج لتحديد تغيراته التالية المسموحة. وتغيّر العملية تلك الحالة. ويسرد المسار العمليات أو الحالات خلال دورة. أما السجل فهو المعلومات المحفوظة عند انتهاء تلك الدورة. وقد تكشف المشاهدة جزءاً من السجل فقط، كما تعرض شاشة العداد أقل مما تحتويه الدارات التي تحفظ قراءته.
تمنع هذه الفروق خطأً شائعاً في العدّ. فقد تنتهي مسارات كثيرة بالقيمة المعروضة نفسها، وقد يترك مسار واحد عدة سجلات مترابطة. ولا يساوي أيٌّ من العددين تلقائياً عدد المصادر الفاعلة. والسؤال الفيزيائي المناسب هو كيف تنشئ الآلية المعلنة هذه الفروق وتحفظها وتقرأها. لذلك تنتمي الذاكرة إلى موارد النموذج.
مثال محلول: ثمانية مسارات وعلامتان
لنفترض أن مصدراً واحداً ينفذ ثلاث عمليات متعاقبة، تحمل كل منها العلامة A أو B. ونفترض السماح بكل متتالية. تكون المسارات AAA, AAB, ABA, ABB, BAA, BAB, BBA, BBB: خياران في كل موضع من ثلاثة مواضع يعطيان 2³=8 إمكانات. ولنجعل الاكتمال يحتفظ فقط بما إذا كان عدد العمليات B زوجياً أم فردياً.
يضم الصنف الزوجي AAA, ABB, BAB, BBA، ويضم الصنف الفردي AAB, ABA, BAA, BBB. وهكذا يدعم مصدر واحد ثمانية مسارات، لكن سجلين فقط للتكافؤ الزوجي والفردي. وإذا حُضّر كل مسار باحتمال 1/8، كان احتمال كل سجل 4/8=1/2. وينتج تساوي الاحتمالات من التحضير المحدد والعدّ؛ فقد يجعل تحضير آخر احتمالي السجلين غير متساويين دون تغيير العلامات المتاحة.
كتابة الصلة على صورة خريطة
الخريطة قاعدة تسند ناتجاً إلى كل مدخل مسموح. نرمز إلى الاكتمال بالرمز C وإلى المشاهدة بالرمز O. ويعني تركيبهما Π=O∘C إكمال المسار أولاً، ثم فحص نتيجته المحفوظة. وفي مثال التكافؤ، ترسل Π المسار ذا الأحرف الثلاثة إلى بتّ واحد: صفر للتكافؤ الزوجي وواحد للتكافؤ الفردي.
يجعل هذا الترميز فقدان المعلومات ظاهراً. فللخريطة ثمانية مدخلات ممكنة وناتجان. ولا تستطيع قراءة التكافؤ استعادة المتتالية كاملة. وهذه عبارة دقيقة عن هذا الكاشف، وليست ادعاءً بأن المسار الذي لم تُستخدم تفاصيله لم يوجد قط أو لن تكون له أهمية أبداً. فقد تكشف عملية لاحقة فرقاً يتجاهله الكاشف الحالي.
افتح الرسم بالحجم الكامل ←
من مقدمة إلى نموذج
لجعل اقتراح المصدر قابلاً للحساب، حدّد الحالة الكاملة z وقاعدة التحديث U، المكتوبة zn+1=U(zn). بيّن التحضيرات الممكنة، وأي ذاكرة تستمر، وكيف يُصدَّق الاكتمال، وما الذي يستطيع الكاشف قراءته. يعدّ العدد الصحيح n مرات تطبيق U؛ ولا يصبح مدةً فيزيائية إلا بعد تعريف ساعة ومعايرتها.
قارن تنفيذين لمسجّل التكافؤ. يخزّن الأول المتتالية كاملة ويحسب التكافؤ في النهاية. ويقلب الثاني بتّ ذاكرة واحداً كلما وقعت B. يتفقان في مهمة التكافؤ الحالية، لكنهما يستخدمان موارد ذاكرة مختلفة. ويفصل بينهما طلب لاحق لاستعادة الحرف الأول. لذلك يجب أن يحدد التفسير كلاً من المشاهدات المستهدفة والعمليات التي يسمح بها.
السؤال الذي نحمله إلى الدرس التالي
تطور نظرية ازدواجية الزمن، DTT، تمييزاً بين التوليد الداخلي والاكتمال الخارجي. ويقدم بناء التكافؤ بالفعل مثالاً بسيطاً: عدة تحديثات داخلية تحضّر نتيجة واحدة متاحة. ويجعل الدرس التالي هذا الاعتماد صريحاً دون معاملة كل مرحلة داخلية باعتبارها ساعة منفصلة قابلة للقياس.
احتفظ أثناء المساق بسجل صغير، أعمدته الافتراضات والنواتج المحسوبة والتفسيرات الفيزيائية. فالعمليتان المتاحتان والدورة ذات الخطوات الثلاث وكاشف التكافؤ افتراضات هنا؛ والمسارات الثمانية والعلامتان نواتج. ويبقى تفسير هذه السجلات باعتبارها مادة أو أحداثاً مكانية مهمةً إضافية. ويطور دليل نموذج الموناد المفرد الموسع هذا البرنامج، بما فيه الاستمرار والحاجة إلى اشتقاق علاقات محلية مفيدة بين السجلات المكتملة.
تمارين وإجابات مفصلة
حاول حل كل سؤال، ثم افتح الإجابة لمقارنة الخطوات.
التمرين 1
أعد المثال بعمليتين في كل مسار. اذكر كل مسار وصنف تكافئه الزوجي أو الفردي.
اعرض الإجابة المفصلة
المسارات الأربعة هي AA, AB, BA, BB لأن 2²=4. لا يحتوي AA على أي عملية B، ويحتوي BB على عمليتين، ولذلك كلاهما زوجي. ويحتوي كل من AB وBA على B واحدة، فكلاهما فردي. وفي التحضير المنتظم يكون احتمال كل مسار 1/4؛ ولذلك يكون احتمال كل صنف 2/4=1/2. ويظل هناك سجلان ممكنان رغم انخفاض عدد المسارات من ثمانية إلى أربعة.
التمرين 2
يحتفظ كاشف بالحرف الأخير فقط من مسار ذي ثلاثة أحرف. كم سجلاً يوجد، وهل يستطيع تمييز AAB من BAB؟
اعرض الإجابة المفصلة
السجلان هما A وB، ولذلك عددهما اثنان. تنتهي أربعة مسارات بكل حرف. وينتهي كل من AAB وBAB بالحرف B، فيعاملهما هذا الكاشف على أنهما متماثلان. أما كاشف الحرف الأول فيفصل بينهما، ويعطي A وB على الترتيب. فالتمييز نسبي إلى قاعدة المشاهدة المختارة؛ ولا تحدده حقيقة وجود مصدر واحد.
مقالات مرتبطة بالإنجليزية
- The Single Monad Model of the Cosmos
The Single Monad Model proposes one generative source for the many events of experience. Its central concepts lead to a precise question: how can common dynamics produce geometry, clocks and matter together?
- One action, two temporal roles
Inner generation and outer record order can be roles of one process. A completed return becomes an observable advance only when its action respects the retained records and their tests.
- When two histories count as the same observation
Completion identifies histories that leave the same record, while observation identifies records that available tests cannot distinguish. Their combined quotient is consistent only with the declared operations and contexts.