جوان آنلاین: کانال تلگرامی «اینشتین چی میگه؟» نوشت: اینشتین گفته بود تا آنجا که قضایای ریاضی، گویای واقعیت هستند، قطعی و اثباتپذیر نیستند و تا آنجا که قطعی و اثباتپذیرند، گویای واقعیت نیستند. شاید این بینش در اثر صحبتهای طولانی او با کورت گودل به وجود آمده بود، اولین بار گودل بود که ثابت کرد قضایای اثباتپذیر در ریاضی زیرمجموعه قضایای صادقی هستند که هرگز در چارچوب ریاضیات نمیتوان آنها را اثبات کرد. به عبارت دیگر گودل در ۲۳سالگی در رساله دکترای خود ثابت کرد بعضی احکام معتبر ریاضی هستند که اثبات آنها به یاری دستگاههای اصل موضوعی ریاضی که وسعت آنها به حساب هم میرسد، میسر نیست! نتیجه فلسفی این دستاورد گودل از سوی آلن تورینگ، ریاضیدان برجسته انگلیسی پدر هوش مصنوعی چنین بیان شد که بر مبنای قضیه ناتمامیت گودل، رایانهها و روباتها، هر چقدر هم پیچیده و پیشرفته ساخته شوند، هرگز قادر به انجام برخی از اموری که ذهن بشری به آنها تواناست، نخواهند بود، چون این روباتها به هر حال بر اساس برنامههای ازپیشنوشتهشده کار میکنند و در حیطه قضایای اثباتپذیر خواهند ماند، ولی ذهن انسان فراتر از آن، ساحت قضایای صادق ولی اثباتناپذیر را هم در برگرفته است. هاوکینگ، فیزیکدان برجسته هم تحت تأثیر قضیه ناتمامی گودل اظهار داشت که احتمالاً هرگز تلاش فیزیکدانان برای تنظیم اصولی که بتوانند بر مبنای آنها تمامی قوانین فیزیک را در قالب مدل ریاضی جامع و یکپارچه تبیین کنند، به ثمر نخواهد رسید. بر اساس قضیه ناتمامی گودل فرمولبندی اصل موضوعی چنین نظریهای اساساً غیرممکن است، هیچگاه نمیتوان اصولی اولیه ارائه داد که رفتار تمامی جهان را در چارچوب یک مدل ریاضی به دست دهد، چون جهان شامل قضایای درست ولی اثباتناپذیر هم میشود، اما اگر بخواهیم با اصول موضوع محدود جهان را تبیین کنیم، صرفاً در ساحت قضایای اثباتپذیر میمانیم. به عبارت دیگر، برخی از رازهای جهان برای همیشه بر اندیشه بشری پوشیده خواهند ماند.