موسیقی هایی که گوش میدم، کتاب هایی که میخونم، نقاشی ها و فیلم ها و سریال هایی که میبینم و چیزهای جالبی که به نظرم ارزش تامل کردن دارند رو اینجا باهاتون به اشتراک میگذارم.
یه گفتگوی کوتاه توی توییتر با کوین میچل داشتم که خیلی جالب بود برای خودم.
تا حالا هیچ آدم دیگه ای رو ندیدم که انقد مدل فکریش برام آشنا باشه و حتی اشخاصی که ازشون الهام گرفته تقریبا با اونایی که من ازشون تاثیر گرفتم یکسان باشه.
فرق هست بین کسی که امتداد فکری ماتورانا و رابرت روزن و اوکسگول و ... است با کسی دستگاه فکریش توی قرن 18 گیر کرده.
موضوع بعدی درباره تمایز بین سیستم صوری و سیستم طبیعی
ارتباط بین این دوتا رو کسایی مثل رابرت روزن خیلی مفصل صورت بندی کردن(عکس زیر)
شما حتی اگه انقد مشنگ باشید که قضایای گودل رو برای سیستمی که داخلش عدد گذاری گودلی ناممکن هست به کار ببرید، نتایجش رو نمیشه به جهان خارج تعمیم داد.
برای رها شدن از این اراجیف خطرناکی که دوست نظریه پردازمون داره ارائه می ده باید با مفاهیمی مثل رمزگذاری و بازنمایی و ... آشنا باشید. مثلا می تونید این کتاب شاهکار رابرت روزن رو بخونید:
Fundamentals of Measurement and Representation of Natural Systems
نسخه ترجمه انگلیسی اصل مقاله گودل رو راحت میتونید پیدا کنید. شروع مقاله اصلا اینطوریه.
ببینید موضوع بحثش چیه! سیستم هایی مثل PM راسل و وایتهد و نظریه مجموعه های زرملو و فرانکل! اینا رو اگه کسی اندازه یه درس مقدماتی مبانی ریاضی خونده باشه باید بلد باشه!
شما به این قسمت که اصل شاهکار گودل هست نگاه کن! (نگاشت گزاره ها به اعداد و تولید رشته اعداد معادل با گزاره های خود ارجاع)
اینجا مشخصا خواص ویژه این سیستم های صوری توی اثباتش نقش مهم داره!
همینجوری هردمبیل هر سیستمی رو نمیشه استفاده کرد!
سیستمی که یه سری از مشخصه ها رو نداشته باشه اصلا واجد شرایط صدق در قضیه اول گودل نمیشه!
اگه میخواین با دری وری هاتون سر ملت رو کلاه بذارید حداقل یه بار مرجعی که دارید طبق اون دری وری می گید رو بخونید کامل!
این یه نکته ابتدایی واسه کسایی که به خاطر کلمات قلمبه سلمبه در دام اون دوست نظریه پردازمون افتادن.
سیستم های صوری یک چیز هستند، سیستم های طبیعی یک چیز دیگر!
اون چیزهایی که در جهان فیزیکی هستند سیستم های طبیعی اند نه سیستم های صوری!
قضیه اول ناتمامیت گودل هم درباره سیستم های صوری هست نه طبیعی! و اون هم نه همه سیستم های صوری! فقط سیستم های صوری که قضایای اصلی حساب درون اونا قابل بیان باشه!
بنابراین پدیده طبیعی مثل فلان آیین و فلان عقیده، توی رده سیستم های طبیعی می گنجند نه صوری! ما شاید برای مدلسازی و شرح دادنش بیایم اون رو با یک نگاشت به یک سیستم صوری مرتبط کنیم ولی این مربوط به دستگاه معرف شناختی ماست و نه اون پدیده توی جهان فیزیکی!
بنابراین اگه کسی میاد و از قضیه اول گودل مستقیما درباره خود پدیده های طبیعی نتیجه ای میگیره یک شارلاتان به تمام معناست و داره از ناآشنایی مخاطب با جزئیات تعیین کننده مسئله سو استفاده می کنه.
اگه کسی فقط واسه خودش و اطرافیانش مزخرف بگه خیلی مشکلی نداره، خیلی هامون همین کارو میکنیم.
ولی کسی که از مفاهیمی که عموم مردم خیلی ازش سر در نمیارن سو استفاده می کنه و واسه صدهزار نفر اراجیف ردیف می کنه و به اسم نظریه خودش مطرح می کنه باید بهش پاسخ خیلی محکم و مستدل داده بشه.
یکم سرم خلوت بشه و دستم آزاد، درباره سو استفاده هایی که برخی از افراد دارن از نظام های صوری و گودل و ... می کنند صحبت خواهم کرد.
حساب کنید ساختن همچین قطعه ای به صورت طبیعی چه قدر طول میکشید؟ یه شاعر قوی میخواست، یه آهنگساز غول، یه رهبر ارکستر با تجربه، کلی نوازنده و مدت ها تمرین!
الان هوش مصنوعی توی کمتر از 10 ثانیه میسازدش!
من واقعا نمیدونم آینده چه شکلیه و فکر نمیکنم به این سادگی ها قابل پیشبینی باشه.
تازه این به زبان لاتین کلاسیک هست که گویشور زنده نداره! توی انگلیسی از این هم فرسنگ ها جلوتره!