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