لندن، إنجلترا الاثنين 30 نوفمبر 1936 آلان تورينجنشر تورينغ ورقته البحثية "حول الأرقام المحسوبة، مع تطبيق على مسألة القرار"
لندن، إنجلترا الاثنين 30 نوفمبر 1936 في عام 1936، نشر تورينج ورقته البحثية "حول الأرقام المحسوبة، مع تطبيق على مشكلة مسألة القرار". تم نشره في مجلة أعمال جمعية لندن الرياضية في جزأين، الأول في 30 نوفمبر والثاني في 23 ديسمبر.
إنجلترا الاثنين 30 نوفمبر 1936 حول الأرقام المحسوبة
إنجلترا الاثنين 30 نوفمبر 1936 نشر تورينج ورقته البحثية "حول الأرقام المحسوبة ، مع تطبيق على مسألة القرار". تم نشره في مجلة وقائع جمعية لندن الرياضية في جزأين، الأول في 30 نوفمبر والثاني في 23 ديسمبر. في هذه الورقة، أعاد تورينج صياغة نتائج كيرت جودل لعام 1931 بشأن حدود الإثبات والحساب، واستبدل لغة غودل الرسمية المعتمدة على الحساب بأجهزة افتراضية رسمية وبسيطة أصبحت تُعرف باسم آلات تورينج. تم نشر مسألة القرار في الأصل من قبل عالم الرياضيات الألماني ديفيد هيلبرت في عام 1928. أثبت تورينج أن "آلة الحوسبة العالمية" ستكون قادرة على أداء أي حساب رياضي يمكن تصوره إذا كان يمكن تمثيله كخوارزمية. ومضى ليثبت أنه لا يوجد حل لمسألة القرار من خلال إظهار أن مشكلة التوقف لآلات تورينج غير قابلة للحسم: ليس من الممكن أن تقرر خوارزميًا ما إذا كانت آلة تورينج ستتوقف أم لا.