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