قضایای ناتمامیت گودل
پس از مدتی دريافتم که اين موضوع توسط رياضيدانی به نام «کورت گودل» به اثبات رسيده است. اين قضيه به «قضيه ناتماميت گودل» مشهور است. گودل در زمان اثبات اين قضيه يک جوان 25 ساله بود. او نشان داد که «تقريباً در تمام نظريههای رياضی گزارههای درستی يافت میشوند که اين گزارهها تصميم ناپذيرند».
گزارهای تصميم ناپذير ناميده میشود که آن نظريه نه بتواند آن را اثبات و نه آن را رد کند. شرايطی که برای نظريهها وجود دارد آن است که سازگار باشند و به نحوی اعداد طبيعی را قبول داشته باشند. سازگاری به آن معنی است که به تناقض نرسند. قطعاً هر نظريه متناقض هر چيزی را میتواند ثابت کند، بنابراين شرط «سازگاری» اهميت خاصی دارد.