مسألة الوقف
التذكّر
مرحبا بك
في هذا الدرس ستتعلم عن مسألة الوقف. خذ نفسا عميقا واستعد لرحلة معرفية ممتعة.
هدف الدرس
مسألة الوقف تسأل: هل يمكن كتابة برنامج عام يأخذ أي برنامج آخر كمدخل ويقرر — في وقت محدود — هل سيتوقف ذلك البرنامج أم سيستمر في الدوران إلى الأبد؟ أثبت تورينج عام 1936م بحجة القطر الذكية أن الجواب «لا»: لا يمكن لأي خوارزمية أن تقرر هذا في الحالة العامة.
مكانه في مسيرة تعلمك
هذا المفهوم يبني على ما تعلمته سابقا. لا تقلق، سنراجع الأساسيات معا في الخطوة التالية.