تا ثابت نشده باور نکن

تا ثابت نشده باور نکن؛ درس منطق ریاضی:

در ریاضیات، اثبات تنها مسیر یقین نیست؛ قضیه ناتمامیت گودل نشان داد در هر سیستم اصول موضوعه‌ی به‌قدر کافی قوی، گزاره‌هایی هست که نه اثبات‌شدنی‌اند نه ابطال‌شدنی. پس «تا ثابت نشده باور نکن» در خودِ منطق صوری پارادوکس دارد: معیار اثبات‌پذیری هم گاهی قابل‌اثبات نیست. جالب‌تر این‌که قضیه چهاررنگ تا ۱۹۷۶ فقط با کمک کامپیوتر اثبات شد و هنوز برخی آن را اثبات «انسانی» نمی‌دانند.

راهکار:

این جمله را می‌توان این‌طور بازآرایی کرد: «ریاضی» نه به‌خاطر بدیهی‌بودن، بلکه به‌خاطر روش اثباتش قابل اعتماد است؛ اما در زندگی روزمره، بیشتر تصمیم‌های ما بر پایه احتمال و اعتماد نسبی پیش می‌رود، نه یقین کامل. پس شاید مرز اصلی بین «اثبات ریاضی» و «باور انسانی» همین جاست.