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