نظريات غودل في عدم الاكتمال
تُثبت نظريات غودل في عدم الاكتمال أن أي نظرية صورية متسقة قادرة على التعبير عن الحساب الابتدائي تكون غير مكتملة ولا يمكنها إثبات اتساقها الذاتي، مما يضع قيودًا أساسية على المنهج البديهي.
Definition
تنص نظرية عدم الاكتمال الأولى على أن أي نظرية متسقة ومُسلّمة بفعالية وتفسر جزءًا متواضعًا من الحساب، تحتوي على جملة لا يمكن إثباتها ولا إثبات نقيضها؛ وتنص الثانية على أن مثل هذه النظرية لا يمكنها إثبات عبارة صورية تؤكد اتساقها الذاتي.
Scope
يغطي هذا الموضوع حسابنة التركيب (arithmetization of syntax) وترقيم غودل (Goedel numbering)، ومبرهنة القطر (diagonal lemma) وبناء جملة ذاتية الإشارة، ونظرية عدم الاكتمال الأولى حول وجود جمل صحيحة غير قابلة للإثبات، ونظرية عدم الاكتمال الثانية حول عدم قابلية إثبات الاتساق، والشروط والعواقب القياسية مثل نظرية تارسكي حول عدم قابلية تعريف الحقيقة.
Core questions
- كيف يتم ترميز تركيب النظرية داخل الحساب نفسه؟
- كيف تنتج مبرهنة القطر جملة تؤكد عدم قابليتها للإثبات؟
- لماذا يجب أن تكون النظرية المتسقة والقوية بما فيه الكفاية غير مكتملة؟
- لماذا لا يمكن لمثل هذه النظرية إثبات اتساقها الذاتي؟
Key theories
- مبرهنة القطر
- لأي صيغة ذات متغير حر واحد، توجد جملة تثبت النظرية أنها مكافئة لتلك الصيغة المطبقة على رمز الجملة نفسها، مما يتيح الإشارة الذاتية المتحكم فيها.
- نظرية عدم الاكتمال الأولى
- بتطبيق مبرهنة القطر على محمول قابلية الإثبات، نحصل على جملة تكون صحيحة بالضبط عندما تكون غير قابلة للإثبات، لذا فإن النظرية الحسابية المتسقة والمُسلّمة بفعالية تحتوي على جملة لا يمكنها إثباتها ولا دحضها.
- نظرية عدم الاكتمال الثانية
- إن صياغة إثبات النظرية الأولى داخل النظرية نفسها تُظهر أن النظرية تثبت اتساقها الذاتي فقط إذا كانت غير متسقة، لذا فإن النظرية المتسقة لا يمكنها إثبات اتساقها الذاتي.
Clinical relevance
أعادت نظريات عدم الاكتمال تشكيل أسس الرياضيات من خلال إظهار أنه لا يوجد نظام صوري متسق واحد يمكنه تسوية كل مسألة حسابية أو التصديق على موثوقيته الذاتية، مما يحد من برنامج هيلبرت ويحفز مقاييس القوة النظرية القائمة على الترتيب (ordinal-theoretic measures) ودراسة الاتساق النسبي.
History
أعلن غودل عن نظريات عدم الاكتمال في عام 1930 ونشرها في عام 1931، مما قلب التوقعات بأن الحساب يمكن أن يُسلّم بشكل كامل وذاتي التصديق. عزز روسر الفرضيات في عام 1936، وقدمت نظرية تارسكي المعاصرة حول عدم قابلية تعريف الحقيقة نتيجة تقييدية وثيقة الصلة.
Key figures
- Kurt Goedel
- Alfred Tarski
- J. Barkley Rosser
- David Hilbert
Related topics
Seminal works
- smith2013
- godel1931
- boolos2007
Frequently asked questions
- هل تقول نظريات عدم الاكتمال إن الرياضيات غير متسقة؟
- لا. إنها تقول إن أي نظام صوري واحد متسق وقوي بما فيه الكفاية يكون غير مكتمل ولا يمكنه التصديق على اتساقه الذاتي. إنها لا تضع شكًا في حقيقة الرياضيات، بل فقط في مدى وصول أي نظام بديهي واحد.
- هل يعني عدم الاكتمال أن بعض الحقائق غير قابلة للمعرفة؟
- ليس بالمعنى المطلق. قد تكون الجملة غير القابلة للإثبات في نظرية ما قابلة للإثبات في نظرية أقوى، على سبيل المثال عن طريق إضافة عبارة اتساق أو بديهية أقوى. عدم الاكتمال هو قيد على كل نظام ثابت، وليس حاجزًا أمام المعرفة الرياضية بشكل عام.