نتایج جستجو برای: قضیه ناتمامیت گودل
تعداد نتایج: 3154 فیلتر نتایج به سال:
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستیشناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تاحدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با اینهمانی و یک اصل انتزاع ویژگیها. به شرط پذیرش نظام منطقی، نتیجة گودل، اینکه ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست میآی...
جردن هوارد سوبل در مقاله ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...
گودل امکان فرضیه تعمیم یافته پیوستار را از رهگذر برهان بر عدم امتناعِ آن ثابت می کند؛ این در حالی است که بر پایه سخن ابن سینا در بند ما قبل آخرِ اشارات، عدم برهان بر امتناعِ چیزی برای اثبات امکان آن بسنده است. اکنون شایسته است بپرسیم که آیا کار گودل بیهوده است، یا سخن ابن سینا نادرست؟ پاسخ این جستار گزینه سوم است: هیچ کدام. «امکان» در فلسفه اسلامی دست کم هشت معنا دارد:1ـ امکان عام؛ 2ـ امکان خاص؛ 3...
طرح نظریۀ نسبیت آینشتاین، فیزیک نیوتنی را با دشواری های فراوانی روبرو کرد، چنان که برای اصلاح آن چاره ای نماند جز کنارگذاشتن و یا اصلاح برخی از بنیادی ترین مفاهیم، از جمله زمان و مکان. بسیاری بر این باورند که نسبیت ضربات جبران ناپذیری نیز بر فلسفۀ کانت وارد آورده است. با این همه، کسانی مانند کورت گودل (kurt gödel) کوشیده اند نسبیت را به گونه ای بخوانند که نه تنها به تناقض با فلسفۀ کانت نینجامد،...
کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...
جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستیشناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که میتوان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضهای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...
طرح نظریۀ نسبیت آینشتاین، فیزیک نیوتنی را با دشواریهای فراوانی روبرو کرد، چنان که برای اصلاح آن چارهای نماند جز کنارگذاشتن و یا اصلاح برخی از بنیادیترین مفاهیم، از جمله زمان و مکان. بسیاری بر این باورند که نسبیت ضربات جبرانناپذیری نیز بر فلسفۀ کانت وارد آورده است. با این همه، کسانی مانند کورت گودل (Kurt Gödel) کوشیدهاند نسبیت را بهگونهای بخوانند که نه تنها به تناقض با فلسفۀ کانت نینجامد،...
برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...
برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کردهاند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی مینامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلالها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شدهاند. تلاش میکنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...
در این پایان نامه خاصیتهایی را که بطور نسبی مهم بوده و در مقاله های متعدد از آنها نام برده شده است ، در مورد عملگرهای مشهور ارزیابی می نمائیم. در فصل اول به معرفی جبرهای استلزامی، استلزام مثبت و استلزام می پردازیم. این بررسی تنها از آن جهت صورت می گیرد که این خواص را طبقه بندی کرده و در کلاسهای ویژه از اثبات خاصیتهای دیگر مربوط به آن کلاس خودداری نمائیم. در فصل دوم، عملگرهای لوکاسیویچ، گودل، گو...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید