TG Telegram Group & Channel
اخلاق نشر و منابع علمی | United States America (US)
Create: Update:

به مناسبت ۲۳ ژوئن زادروز آلن تورینگ
در ابتدای قرن بیستم دیوید هیلبرت مساله ای را مطرح کرد که به طور خلاصه بیان می‌کند آیا می‌توان در ریاضیات روشی یافت که بتوان درستی یا نادرستی گزاره های ریاضی را با آن یافت.

آلن تورینگ در یکی از مهمترین مقالات قرن بیستم این مساله را تبدیل به مساله
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

This media is not supported in your browser
VIEW IN TELEGRAM
به مناسبت ۲۳ ژوئن زادروز آلن تورینگ
در ابتدای قرن بیستم دیوید هیلبرت مساله ای را مطرح کرد که به طور خلاصه بیان می‌کند آیا می‌توان در ریاضیات روشی یافت که بتوان درستی یا نادرستی گزاره های ریاضی را با آن یافت.

آلن تورینگ در یکی از مهمترین مقالات قرن بیستم این مساله را تبدیل به مساله
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<<

اخلاق نشر و منابع علمی




Share with your best friend
VIEW MORE

United States America Popular Telegram Group (US)