مبرهنتا عدم الاكتمال لغودل
الحقبة: النظرية المبكرة · عقد ١٩٣٠–عقد ١٩٥٠
نشر كورت غودل مبرهنتي عدم الاكتمال، فأثبت أن كل نسق صوري قوي بما يكفي يتضمّن قضايا لا يمكن إثباتها ولا نفيها داخله. ولم يهزّ هذا الاكتشاف الأوساط الرياضية وحدها، بل كان له أثر عميق في نظرية الحوسبة وفي الذكاء الاصطناعي.
كورت غودل (١٩٠٦–١٩٧٨)
المصادر وما تسنده
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · نوع المصدر: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
تاريخ النشر: ·تاريخ الاطلاع: