Telegram Group & Telegram Channel
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://www.group-telegram.com/us/pubethicsmums.com/1819
👏7👎1



group-telegram.com/pubethicsmums/1819
Create:
Last 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://www.group-telegram.com/us/pubethicsmums.com/1819

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


Share with your friend now:
group-telegram.com/pubethicsmums/1819

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

Lastly, the web previews of t.me links have been given a new look, adding chat backgrounds and design elements from the fully-features Telegram Web client. Despite Telegram's origins, its approach to users' security has privacy advocates worried. In 2014, Pavel Durov fled the country after allies of the Kremlin took control of the social networking site most know just as VK. Russia's intelligence agency had asked Durov to turn over the data of anti-Kremlin protesters. Durov refused to do so. At the start of 2018, the company attempted to launch an Initial Coin Offering (ICO) which would enable it to enable payments (and earn the cash that comes from doing so). The initial signals were promising, especially given Telegram’s user base is already fairly crypto-savvy. It raised an initial tranche of cash – worth more than a billion dollars – to help develop the coin before opening sales to the public. Unfortunately, third-party sales of coins bought in those initial fundraising rounds raised the ire of the SEC, which brought the hammer down on the whole operation. In 2020, officials ordered Telegram to pay a fine of $18.5 million and hand back much of the cash that it had raised. Asked about its stance on disinformation, Telegram spokesperson Remi Vaughn told AFP: "As noted by our CEO, the sheer volume of information being shared on channels makes it extremely difficult to verify, so it's important that users double-check what they read."
from us


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