به مناسبت ۲۳ ژوئن زادروز آلن تورینگ
در ابتدای قرن بیستم دیوید هیلبرت مساله ای را مطرح کرد که به طور خلاصه بیان میکند آیا میتوان در ریاضیات روشی یافت که بتوان درستی یا نادرستی گزاره های ریاضی را با آن یافت.
آلن تورینگ در یکی از مهمترین مقالات قرن بیستم این مساله را تبدیل به مساله
Halting problem
کرد
یعنی آیا میتوان برنامه ای طراحی کرد که بتواند تعیین کند برنامه های دیگر تا ابد اجرا میشوند یا به پایان میرسند(halt or run forever)
Turing, Alan Mathison. "On computable numbers, with an application to the Entscheidungsproblem." J. of Math 58.345-363 (1936): 5.
مقاله تورینگ شروع تئوری علم کامپیوتر و پاسخ نهایی به مساله هیلبرت بود.
فیلم در مورد روش تورینگ در این مقاله است.
در کانال اخلاق نشر و منابع علمی در تلگرام عضو شوید
http://hottg.com/pubethicsmums/1819
>>Click here to continue<<