من هي كونداليزا رايز؟
كونداليزا "كوندي" رايس من مواليد 14 نوفمبر 1954، هي عالمة سياسية ودبلوماسية أمريكية.[1][2][3] وقد شغلت منصب وزير الخارجية بالفترة من 26 يناير 2005 إلى 20 يناير 2009، وكان قبلها بالمنصب كولن باول الذي قدم استقالته ولم يشارك بحكومة الفترة الرئاسية الثانية للرئيس جورج دبليو بوش، وكانت رايس ثاني من تولى المنصب من الأمريكيين الأفارقة (بعد كولن باول) وثاني امرأة في المنصب (بعد مادلين أولبرايت). وكانت قبل توليها وزارة الخارجية تعمل كمستشارة للأمن القومي في فترة الرئيس بوش الأولى بين عامي 2001 – 2005، وهي أول امرأة تتولى المنصب.
لعل أحد التعميمات لنتيجة ان مسألة التوقف غير قابلة للتقرير هو قانون رايز، والذي نصه: "كل صفة ليست بديهية للدوال الجزئية التي يمكن تنفيذها بواسطة برامج لا يمكن تقريرها". القصد من التعبير "صفة ليست بديهية" معناه أن مجموعة الدوال الجزئية التي تحقق الصفة هي ليست كل الدوال الجزئية كما انه يجب ان يكون هنالك دالة واحدة على الاقل التي تحقق الصفة. مثال: الصفة: "التوقف على المدخل 0 " نلاحظ أن ليس كل الدوال تتوقف على المدخل 0 كما انه يوجد دوال تتوقف على 0 لذا فان هذه الصفة ليست بديهية لذا فهي غير قابلة للتقرير. ويجب الانتباه بأن قانون رايز لا يتحقق اذا كانت الصفة ليست للدوال الجزئية التي يمكن تنفيذها بواسطة برنامج ولكن الصفة أيضا متعلقة بالبرنامج مثل: "التوقف على المدخل 0 خلال 100 خطوة حساب" , نلاحظ ان هذه ليست صفة للدوال الجزئية فقط وانما أيضا للبرنامج وهذه المسألة يمكن تقريرها (ببساطة ننفذ البرنامج خلال 100 خطوة عندما المدخل يكون 0 اذا توقف البرنامج المخرج يكون "نعم" وخلاف هذا الاجابة "لا").