نظريتا التراص ولوفنهيم-سكولم
تُعدّ نظريتا التراص ولوفنهيم-سكولم النتيجتين الأساسيتين اللتين تحكمان الهياكل التي يمكن للنظريات من الرتبة الأولى وصفها، كاشفتين بذلك عن قوة المنطق من الرتبة الأولى وقيوده المتأصلة.
Definition
تنص نظرية التراص على أن مجموعة من الجمل من الرتبة الأولى تكون قابلة للتحقيق إذا وفقط إذا كانت كل مجموعة فرعية منتهية منها قابلة للتحقيق؛ وتنص نظريتا لوفنهيم-سكولم على أن أي نظرية من الرتبة الأولى لها نموذج لا نهائي تمتلك نماذج في كل عدد أصلي لا نهائي على الأقل بحجم لغتها.
Scope
يغطي هذا الموضوع نظرية التراص وإثباتها عبر الاكتمال أو المنتجات الفائقة (ultraproducts)، ونظريتي لوفنهيم-سكولم الهابطة والصاعدة حول أعداد النماذج، وعواقبها المعيارية بما في ذلك وجود نماذج غير قياسية للحساب والتحليل، ومفارقة سكولم.
Core questions
- لماذا يضمن قابلية تحقيق نظرية منتهية وجود نموذج؟
- كيف تنتج هذه النظريات نماذج غير قياسية للحساب والأعداد الحقيقية؟
- لماذا لا يمكن لأي نظرية من الرتبة الأولى أن تميز بنية لا نهائية حتى العدد الأصلي؟
- ما هي مفارقة سكولم وكيف يتم حلها؟
Key theories
- نظرية التراص
- إذا كانت كل مجموعة فرعية منتهية من مجموعة من الجمل لها نموذج، فإن المجموعة بأكملها لها نموذج؛ وتتبع هذه النظرية من الاكتمال أو يمكن إثباتها دلاليًا باستخدام المنتجات الفائقة (ultraproducts).
- نظرية لوفنهيم-سكولم الهابطة
- أي بنية لا نهائية لها بنية فرعية ابتدائية (elementary substructure) عددها الأصلي لا يتجاوز عدد لغتها، لذا فإن النظريات المعدودة ذات النماذج اللانهائية لها نماذج معدودة.
- نظرية لوفنهيم-سكولم الصاعدة
- يمكن توسيع أي نموذج لا نهائي بشكل ابتدائي (elementarily) ليشمل نماذج ذات أعداد أصلية أكبر، لذا لا يمكن للنظريات من الرتبة الأولى أن تحدد حجم نماذجها اللانهائية.
Clinical relevance
تُعدّ هذه النظريات أدوات أساسية في نظرية النموذج: تُستخدم نظرية التراص لبناء نماذج غير قياسية تثبت أو تنقل النتائج، وتشرح نظريتا لوفنهيم-سكولم لماذا تقبل البديهيات من الرتبة الأولى للأعداد الطبيعية أو الأعداد الحقيقية دائمًا نماذج غير مقصودة، مما يؤثر على اختيار الأطر المنطقية.
History
أثبت لوفنهيم نسخة من النظرية الهابطة في عام 1915 وقام سكولم بتعميمها وصقلها خلال عشرينيات القرن الماضي. حصل غودل على نظرية التراص كنتيجة للاكتمال، ووسعها مالسيف لتشمل اللغات غير المعدودة، وهو أول من استغلها لاستنتاج نظريات جبرية، مما فتح الطريق أمام نظرية النموذج التطبيقية.
Key figures
- Leopold Loewenheim
- Thoralf Skolem
- Kurt Goedel
- Anatoly Maltsev
Related topics
Seminal works
- changkeisler1990
- marker2002
- hodges1993
Frequently asked questions
- ما هو النموذج غير القياسي للحساب؟
- باستخدام نظرية التراص، يمكن إضافة ثابت أكبر من كل رقم إلى بديهيات الحساب؛ النظرية المتسقة الناتجة لها نموذج يحتوي على عناصر لا نهائية تتجاوز الأعداد الطبيعية القياسية. هذه النماذج تحقق نفس الجمل من الرتبة الأولى تمامًا مثل النموذج القياسي.
- ما هي مفارقة سكولم؟
- تعطي نظرية لوفنهيم-سكولم الهابطة نموذجًا معدودًا لنظرية المجموعات، على الرغم من أن هذه النظرية تثبت وجود مجموعات غير معدودة. يكمن الحل في أن عدم القابلية للعد (uncountability) نسبي للنموذج: فالمجموعة التي يعتبرها النموذج غير معدودة ليس لها تقابل ثنائي مع الأعداد الطبيعية داخل النموذج، على الرغم من وجود تقابل خارجي.