اما ممکنه این سوال پیش بیاد که «خب که چی؟!» «این مخالف بودن چه اهمیتی داره؟»
جوابش اینه که گودل اولین آدمی بود که بین سینتکس و سمانتیک فرق گذاشت، و قضیه‌ی فشردگی رو به آسونی خاروندنِ سر اثبات کرد، با این حال چرا هیچوقت به توسعه‌ی مدل تئوری نپرداخت؟ چرا فاصله‌ی بین نحو و معنا رو هایلایت نکرد؟
جوابش اینه گودل با ایده‌ی جهان‌های ممکن مخالف بود! و نظریه مدل توسط دیگران مثل تارسکی توسعه پیدا کرد.
نتیجه: 1_یک ایده‌ی فلسفی چقدر ممکنه تاثیر بر روی جهت علمیِ یک آدم داشته باشه!
2_گودل که یکی از سنگین‌وزن‌های منطق محسوب میشه گرایش به proof theory بیشتر داشت تا model theory!
اما ممکنه این سوال پیش بیاد که «خب که چی؟!» «این مخالف بودن چه اهمیتی داره؟»
جوابش اینه که گودل اولین آدمی بود که بین سینتکس و سمانتیک فرق گذاشت، و قضیه‌ی فشردگی رو به آسونی خاروندنِ سر اثبات کرد، با این حال چرا هیچوقت به توسعه‌ی مدل تئوری نپرداخت؟ چرا فاصله‌ی بین نحو و معنا رو هایلایت نکرد؟
جوابش اینه گودل با ایده‌ی جهان‌های ممکن مخالف بود! و نظریه مدل توسط دیگران مثل تارسکی توسعه پیدا کرد.
نتیجه: 1_یک ایده‌ی فلسفی چقدر ممکنه تاثیر بر روی جهت علمیِ یک آدم داشته باشه!
2_گودل که یکی از سنگین‌وزن‌های منطق محسوب میشه گرایش به proof theory بیشتر داشت تا model theory!
For crypto enthusiasts, there was the “gm” app, a self-described “meme app” which only allowed users to greet each other with “gm,” or “good morning,” a common acronym thrown around on Crypto Twitter and Discord. But the gm app was shut down back in September after a hacker reportedly gained access to user data. Step-by-step tutorial on desktop: To view your bio, click the Menu icon and select “View channel info.” The group also hosted discussions on committing arson, Judge Hui said, including setting roadblocks on fire, hurling petrol bombs at police stations and teaching people to make such weapons. The conversation linked to arson went on for two to three months, Hui said. Telegram Channels requirements & features
from us
