درباره اعداد محاسبهپذیر
زمان: دوشنبه نوامبر 30, 1936
مکان: انگلستان
جزئیات: تورینگ مقاله خود را با عنوان «درباره اعداد محاسبهپذیر، با کاربردی در مسئله تصمیم» منتشر کرد. این مقاله در دو بخش در نشریه انجمن ریاضی لندن منتشر شد، بخش اول در ۳۰ نوامبر و بخش دوم در ۲۳ دسامبر. در این مقاله، تورینگ نتایج سال ۱۹۳۱ کورت گودل در مورد محدودیتهای اثبات و محاسبات را بازنویسی کرد و زبان صوری مبتنی بر حساب جهانی گودل را با دستگاههای فرضی ساده و صوری که به عنوان ماشینهای تورینگ شناخته شدند، جایگزین کرد. مسئله تصمیم (Entscheidungsproblem) در ابتدا توسط ریاضیدان آلمانی دیوید هیلبرت در سال ۱۹۲۸ مطرح شده بود. تورینگ ثابت کرد که «ماشین محاسباتی جهانی» او قادر است هر محاسبه ریاضی قابل تصوری را انجام دهد، اگر به صورت یک الگوریتم قابل نمایش باشد. او سپس با نشان دادن اینکه مسئله توقف برای ماشینهای تورینگ غیرقابل تصمیمگیری است، ثابت کرد که هیچ راه حلی برای مسئله تصمیم وجود ندارد: امکان تصمیمگیری الگوریتمی در مورد اینکه آیا یک ماشین تورینگ هرگز متوقف میشود یا خیر، وجود ندارد.
ممکن است دارای خطا باشد.
ترتیب تقریبی. برخی رویدادها ممکن است خارج از ترتیب به نظر برسند، زیرا بسیاری از آنها تنها با سال شناخته شدهاند، اما معمولاً در همان دوره هستند.
مرتبط
نزدیک
























































































































































































امروز - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































