المسلّمة بوصفها برنامجًا
يربط DoT: The Duality of Time Postulate التوليد الداخلي المتداخل بالرصد الخارجي المكتمل. يعتمد هذا العرض على المقدمة العامة والمقال A220. تصبح المسلّمة مثمرة رياضيًا عندما تُحدد العمليات التي تنتج سجلًا قابلًا للاختبار، لا حين تبقى وصفًا لغويًا للناتج المطلوب.
المكونات التي يجب إعلانها
يلزم فضاء حالات x، وتحديث U، وذاكرة، وشرط اكتمال C، وخريطة قراءة Π، وقواعد لتركيب التواريخ والاختبارات المسموحة. يدل n في الصيغة على رقم التحديث، ولا يصبح زمنًا مقاسًا إلا بعد تعريف ساعة مستقلة.
وقد يكون r رمزًا لا موقعًا مكانيًا. الفصل بين هذه الوظائف يمنع إدخال المكان والزمن في الرموز ثم وصفهما بأنهما اشتُقا.
دورة محدودة ومعنى الاحتفاظ
في دورة q=0,1,2,3 مع تحديث بإضافة واحد بترديد أربعة، يمكن السماح بإتاحة سجل عند q=0 فقط. توجد أربع عمليات داخلية بين حدثين مكتملين. لكن الدورة المجردة لا تحفظ رقم الحدث k؛ فكل عودة إلى الصفر مماثلة للأخرى.
للاحتفاظ بعدد الأحداث يجب إضافة سجل وقاعدة لزيادته. يتطلب العد الكامل غير المحدود سعة غير محدودة في هذا المثال المثالي. لا تختفي تكلفة الذاكرة لمجرد أن دورة المصدر بسيطة.
ستة أدوار داخل العملية
يمكن بناء تحديث أغنى باعتمادات متداخلة ورتب مزدوجة 1،1،2،2،3،3، ثم جعل الاكتمال شهادة على اتساق العلاقات المطلوبة. يجب أن تقرأ الأدوار اللاحقة نتائج السابقة وتحفظ ما تحتاجه منها. لا يفرض مجرد سرد ست خطوات هذا النمط أو هندسته.
يبين البناء المحدود إمكان تحقيق النمط تحت قواعده المختارة. أما إثبات الضرورة فيتطلب تقييد فئة العمليات وإظهار لماذا تفشل البدائل. وهذان مستويان مختلفان من النتيجة.
ثلاثة تعيينات فيزيائية
ينبغي تحديد عملية تقيس المسافة بين السجلات، وعملية مادية تقيس المدة، وقانون ينقل إثارة المادة. يمكن اختيار هذه الثلاثة بصورة مستقلة في نموذج تجريبي رياضي، لذلك فإن تلازمها هو موضع التفسير الفيزيائي المطلوب.
إذا احتوى المصدر ترتيبًا خفيًا كليًا، يجب إثبات أن الإحصاءات المرصودة لا تكشف إطارًا مفضلًا غير مسموح به. وصف الترتيب بأنه غير مرئي لا يقوم مقام حساب توافقه مع جميع إجراءات القياس المعتمدة.
نتيجة بحثية أقوى
يتمثل الهدف في مصدر واحد يولد القراءة الهندسية واستجابة الساعة وحدّ الانتشار على عائلة غير فارغة من الإعدادات. عندئذ يمكن تحديد العلاقة التي لم تعد اختيارًا مستقلًا والكمية التي تبقى قابلة للفحص بعد المعايرة. هذه طريقة لتحويل المسلّمة إلى التزامات بنائية متراكمة.
صلة هذه الصفحة بالمصدر
هذه صياغة عربية بحثية مختصرة ومحررة للمادة المعروضة في الدليل الإنجليزي المقابل؛ تحفظ الأمثلة والمعادلات الأساسية وتوضح حدود النتائج. لا تستبدل النص الأصلي للبحث أو الكتاب، ولا تمثل مراجعة مستقلة لجميع براهينه.