تم حل مشكلة القياس: التصنيف البنائي لتفسيرات الكم (ورقة الرياضيات العكسية البنائية 44، تكامل Lean 4)

الورقة 44 نطبق إطار معايرة المسلمات للرياضيات العكسية البنائية (CRM) على مشكلة القياس في ميكانيكا الكم. بدلاً من التعامل مع مشكلة القياس كألغز مفاهيمي واحد، نفحص ثلاث تفسيرات رئيسية — كوبنهاغن، العوالم المتعددة، وميكانيكا بوهمي — ونحدد المبدأ البنائي الذي يحتاجه كل منها على الرياضيات البناءة لبنشوب (BISH). ت calibrates فرضية كوبنهاغن عند WLPO في تكاملها الأدنى، أو عند LPO في تكاملها القوي. ت calibrates فرضية العوالم المتعددة عند DC (الاختيار التابع). ت calibrates فرضية مسار بوهمي عند LPO (بمعنى آخر، التقارب المحدود الشديد). بما أن WLPO أضعف بكثير من LPO وDC غير قابل للمقارنة مع كليهما في BISH، فإن التفسيرين الثلاثة يجلسون في مواقع متميزة مثبتة في التسلسل الهرمي البنائي. تشمل تكامل Lean 4 / Mathlib المرافق (10 ملفات، ~1,100 سطر، صفر أخطاء) ثلاث اتجاهات معايرة بدون اعتذارات. ورقة 44 من سلسلة النسب الأساسية.