آیا تمام اثبات های ریاضی باید توسط کامپیوتر بررسی شوند؟

مطلب زیر گزیده ای از خبرنامه ما در فضا-زمان گمشده است. هر ماه، صفحه کلید را به یک یا دو فیزیکدان می‌دهیم تا درباره ایده‌های جذاب گوشه‌ای از جهان به شما بگویند. در اینجا می‌توانید برای Lost in Space-Time به صورت رایگان ثبت‌نام کنید.

یک صبح غم انگیز در سال 2017، در سال سوم دبیری ام به عنوان معلم ریاضی، با یک ایمیل ناراحت کننده از خواب بیدار شدم. از طرف یکی از همکارانش بود و او از…


منبع: https://www.newscientist.com/article/2380590-should-all-mathematical-proofs-be-checked-by-a-computer/?utm_campaign=RSS%7CNSNS&utm_source=NSNS&utm_medium=RSS&utm_content=home

دستیاران اثبات کامپیوتر می توانند صحت اثبات های ریاضی را تأیید کنند

شاتراستاک/گلدن دیز

توسط احمد گل کار

احمد گل کار