الوحدة تعدّ المصادر، والكثرة تعدّ النتائج القابلة للتمييز. ويربط النموذج بينهما بقواعد صريحة للحالة والتحديث والذاكرة والقراءة.
ما ستتعلمه
- تمييز المصدر عن حالاته وتواريخه.
- عدّ التواريخ وتحديد الفروق التي يحتفظ بها الكاشف.
- كتابة مكوّنات نموذج أدنى للمصدر.
قبل أن تبدأ: لا متطلبات سابقة. تكفي معرفة العدّ ومعنى القاعدة.
ما معنى المصدر الواحد؟
يقترح نموذج الموناد المفرد، واختصاره 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 على الترتيب. إذن يرتبط التمييز بقاعدة المشاهدة المختارة، ولا تحدّده حقيقة وجود مصدر واحد.
تابع مع المقالات
- نموذج الموناد المفرد للكون
تقديم نموذج الموناد المفرد بوصفه اقتراحًا يربط مصدرًا توليديًا واحدًا بأحداث الخبرة الكثيرة. وتوضيح مصطلحاته قبل الانتقال إلى تفسيراته الفيزيائية.
- فعل واحد ودوران زمنيان
شرح أساس المسودة القائم على الدورة نفسها: الفعل الداخلي أولي، أما ترتيب السجل الخارجي فيأتي من عودات مرصودة مكتملة. ولا يوفّر أيٌّ من الدورين تلقائيًا ساعة مختبرية ثانية قابلة للقراءة.
- متى يُعدّ تاريخان المشاهدة نفسها؟
تقديم الاكتمال والتكافؤ الرصدي بوصفهما طريقتين مختلفتين لتعيين التواريخ المتكافئة. وشرح كيف تحدّد الاختبارات المتاحة للراصد الفروق التي تبقى.