باور بدون اثبات

تا ثابتش نکردی باور نکن - نگاه ریاضی به اعتماد:

آیا می‌دونستی که در ریاضیات، خودِ مفهوم «اثبات» بر پایهٔ قضیهٔ ناتمامیت گودل می‌لرزه؟ گودل ثابت کرد هر سیستم ریاضیِ سازگار، شامل جملاتی هست که نه می‌شه اثباتشون کرد و نه رد. یعنی حتی در دقیق‌ترین علم بشری، چیزهایی وجود داره که بدون اثبات باید باورشان کنی. حالا تو بگو، در روابط انسانی که پر از پارادوکس و احساسه، چطور می‌خوای همه‌چیز رو ثابت کنی؟

راهکار:

این جمله‌ی زیبا رو میشه از زاویه‌ای دیگه هم دید: در ریاضیات، بدیهیات (axioms) رو بدون اثبات قبول می‌کنیم. شاید در زندگی هم بعضی چیزها (مثل اعتماد اولیه) رو باید بی‌قید و شرط بپذیریم، وگرنه اثبات‌کردن خودش رابطه رو خراب می‌کنه. نظرت چیه؟

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

چرا ریاضی می‌گوید تا اثبات نشده باور نکن؟:

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

راهکار:

نکته تکمیلی: در ریاضیات، برخی اصول (بدیهیات) بدون اثبات پذیرفته می‌شوند. تفاوت میان قضیه (نیازمند اثبات) و اصل (قبول شده) را در استدلال‌های روزمره هم به‌کار ببر.