< 1 >
نظريات عدم الاكتمال
تدعي نظريتا عدم الاكتمال لغودل أن العبارات يمكن أن تكون غير قابلة للحسم بشكل رسمي.
الشرح
تنص نظرية عدم الاكتمال الأولى على أن أي نظام رسمي متسق داخليًا يحتوي على عبارات لا يمكن إثبات صحتها أو خطأها.
تنص نظرية عدم الاكتمال الثانية على أنه لا يمكن إثبات أن النظام الرسمي متسق داخليًا من داخله.
الذكاء الاصطناعي
تنحصر نظريات عدم الاكتمال في حقيقة أن الذكاء الاصطناعي غير ممكن لأن أجهزة الكمبيوتر هي دائمًا أنظمة شكلية محدودة. وعلى الأرجح، فإن العقل البشري مقيد أيضًا بهذه القيود.
التاريخفي عام 1930، صاغ عالم الرياضيات النمساوي كورت جودل هذه النظريات. |