قضیه اول ناتمامیت:

در هر نظام صوری قوی، کانسیستنت (سازگار) و کفایتاً پیچیده (مثلاً شامل حساب عدد طبیعی)، گزاره‌هایی وجود دارند که نمی‌توانند در آن نظام اثبات یا رد شوند.

قضیه دوم ناتمامیت:
یک نظام صوری قوی و سازگار نمی‌تواند سازگاری خودش را در درون خودش اثبات کند.

نتیجه:

اگر ما انسانی را فرض کنیم که سعی دارد با یک نظام اخلاقی یا عقلانی صوری، خودش و جهانش را کامل بفهمد، گودل می‌گوید: همیشه چیزهایی هست که از چارچوب آن نظام بیرون می‌مانند.

این خیلی شبیه مسئله‌های اگزیستانسیالیستی است: انسان دنبال معنا، نظم، اخلاق و حقیقت است، اما هیچ سیستمی نمی‌تونه همه چیز رو توصیف کنه. آزادی، مسئولیت، شک، و حتی ایمان از همین گپ بیرون میان.

گودل به نوعی نظم و حقیقت عینی باور داشت، ولی می‌گفت نظام‌های صوری هیچ‌گاه تمام حقیقت را درون خود جای نمی‌دن.

نمی‌توان یک نظام سازگار را در درون خودش کامل توصیف کرد.

سعید عزیز داره زحمت میکشه کتاب "اخلاق آزادی" ماری روتبارد رو ترجمه میکنه، ازش اجازه گرفتم، نسخه نهایی رو صوتی میکنم

این دقیقا همونجاییه که اپنهایمر با انیشتن ملاقات کرد

خدا میدونه انیشتن در حال قدم زدن در اون باغ، چه مکالماتی داشته

علی کیانمهر عزیز این کتاب رو ترجمه کردن، باهاشون هماهنگ کردم، اپیزود بعدی لرن کست این کتاب خواهد بود

📚 کالبدشکافی دولت

✍🏻 موری روتبارد
@ForLiberalism

نسخه صوتی کتاب "کالبدشناسی دولت"
امشب، ساعت 8
https://www.youtube.com/watch?v=xvB_GxZePc8

نوتیفیکشن ویدئو رو روشن کنید، خود یوتیوب یادآوری میکنه بهتون

https://youtu.be/G0MGW4IrKwY?si=P5Aain64uKOyEnwf

این ویدئو معرفی کتاب رو هم پیشنهادش میکنم، حمایت هاتون رو از هر محتوایی که به اقتصاد آزاد میپردازه دریغ نکنید ❤️

تصمیم دارم کتب صوتی رو در تلگرام هم قرار بدم، کپی رایت نداره و دستم برای ادیت و موزیک بازتره، نسخه های اصلاح شده رو به مرور زمان همینجا میذارم
یوتیوب رو هم میبرم به سمت محتواهای اختصاصی تر
@Learn_Cast

در حال ترجمه این سری از مقالات روتبارد هستم، بغیر از Anatomy of state، فکر نمی‌کنم هیچ کدام ترجمه شده باشن، کل مقالات رو در قالب یک کتاب منتشر میکنم تا روز های آینده، یه ذره سرم خلوت تر شد نسخه صوتیش رو هم منتشر میکنم.
@Learn_Cast

توی این روزا زیاد نمیتونم کاری انجام بدم، ازتون میخوام آرامشتون رو حفظ کنید و به جایی برید که امن باشه، خدا پشت و پناه همه‌تون باشه، ممنونم از همه‌تون بابت حمایت هاتون ❤️

آباد باشی ای ایران

ناتمامیت و محدودیت سیستم‌ها
کورت گودل با قضیه ناتمامیت ثابت کرد که در هر سیستم منطقی-ریاضی به قدر کافی پیچیده، همیشه گزاره‌هایی وجود دارند که درون آن سیستم نه قابل اثبات هستند و نه قابل رد.
این یعنی هیچ سیستمی نمی‌تواند به طور کامل خودش را از درون، اثبات کند. برای قضاوت در مورد صحت یا سازگاری سیستم، باید از بیرون آن سیستم نگاه کرد؛ یعنی یک سطح بالاتر.
گودل منطق بسته را شکست. نشان داد که مرزهای هر سیستم از درون خودش غیرقابل شکستن است. همیشه چیزی بیرون هست که سیستم را معنادار می‌کند.
منطق آینشتاین و تغییر چارچوب
آینشتاین هم همین محدودیت را در علم فیزیک نشان داد. او می‌گفت:
«ما نمی‌توانیم مشکلات را با همان طرز فکری حل کنیم که آن‌ها را ایجاد کرده‌اند.»
یعنی برای عبور از محدودیت‌ها، باید چارچوب فکری عوض شود. نظریه نسبیت خاص و عام آینشتاین دقیقاً همین بود:
جهان را نه با منطق نیوتنی، بلکه با منطق ناظر و تغییر چارچوب باید فهمید. اما مشکل اینجا بود: نظریه نسبیت قابل اثبات مستقیم نبود.
فقط در حد یک چارچوب سازگار (کانسیستنت) باقی مانده بود. مردم وقتی باورش کردند که دیدند نور خم می‌شود.
در آزمایش معروف گرفتگی خورشید (1919)، نور ستارگان هنگام عبور از کنار خورشید منحرف شد. این خم شدن نور، به نوعی تایید تجربی آن کانسیستنسی بود.
ولی اصل نظریه همچنان از جنس "مدل" است، نه حقیقت مطلق.
نتیجه
چه در منطق گودل و چه در فیزیک آینشتاین، اثبات درونی کافی نیست.
ما همیشه به یک چارچوب بیرونی نیاز داریم.
همیشه باید از سیستم بیرون بزنیم.
و آن بیرون، جایی است که منطق متوقف می‌شود و یک واقعیت وسیع‌تر آغاز می‌شود.

این یک ساعت رو گوش بدید، از چرندیاتی که به ظاهر تحلیلگرا واستون میگن مفید تره، برای بقیه هم بفرستید که گوش بدن

هیچ راهی جز راهی که آرمین میگه نیست، تقلا نکنید براش، دیر یا زود همه میفهمن اینو