طرح نظریۀ نسبیت آینشتاین، فیزیک نیوتنی را با دشواری‌های فراوانی روبرو کرد، چنان که برای اصلاح آن چاره‌ای نماند جز کنارگذاشتن و یا اصلاح برخی از بنیادی‌ترین مفاهیم، از جمله زمان و مکان. بسیاری بر این باورند که نسبیت ضربات جبران‌ناپذیری نیز بر فلسفۀ کانت وارد آورده است. با این همه، کسانی مانند کورت گودل (Kurt Gödel) کوشیده‌اند نسبیت را به‌گونه‌ای بخوانند که نه تنها به تناقض با فلسفۀ کانت نینجامد،...

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

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

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده‌اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می‌نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال‌ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده‌اند. تلاش می‌کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.

این حقیقت که قضیه مشهور ناتمامیت گودل و الگوی اصلی تمامی پارادوکس های منطقی از جمله پارادوکس دروغگو، به صورت نزدیکی با هم ارتباط دارند، نه تنها شناخته شده است بلکه وجه مشترکی از دانسته های منطق دانان محسوب می شود. در واقع، تقریباً تمام بحث های صوری این قضیه [ناتمامیت گودل] کمابیش پلی بر این ارتباط می سازند. در این پایاننامه سعی بر نشان دادن این ارتباط خواهیم داشت.

کورت گودل در فوریه ی ???? با دینا اسکات درباره ی دلیل هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتیْ تا حدی متفاوت از آن را در دانشگاه پرینستُن ارائه کرد. نظام منطقی دلیل، منطق موجهات مرتبه ی دوم در نظام s5 است، با این همانی و یک اصلِ انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه ی گودل، این که ضرورتا موجودی خدای-گونه وجود دارد( )، از مقدمات به دست می آید. سوبل اما نشان داد که ع...

ابتدا با عنوان "مقدمات قضایای ناتمامیت گودل" ، تعاریفی از بیان پذیری ، نمایش پذیری ، محاسبه پذیری ، توابع بازگشتی اولیه ، توابع بازگشتی ، تابع مشخصه و چند تابع مهم دیگر که در اثبات لم نقطه ثابت مورد نیاز است ، ارائه خواهد شد . سپس با بررسی این توابع ، هم ارزی رابطه بین بازگشتی و بیان پذیری مطرح می شود . در فصل اول ،اصول موضوعه دستگاه های نظریه صوری اعداد حساب و نظریه مجموعه ها ، معرفی ؛ وتلاش ه...

¯ چکیده زمینه : اطلاعات موجود در زمینه الگوی غذای مصرفی و میزان مواد مغذی دریافتی زنان باردار محدود است. هدف : مطالعه به منظور شناسایی و مقایسه الگوی غذای مصرفی و مواد مغذی دریافتی زنان باردار شهری و روستایی ماکو انجام شد. مواد و روشها : در این مطالعه مقطعی 284 زن باردار (142 روستایی و142 شهری) که به صورت تصادفی انتخاب شده بودند به طور خصوصی و به روش چهره به چهره مورد مصاحبه قرار گرفتند. اطلاعا...

در این پایان نامه خاصیتهایی را که بطور نسبی مهم بوده و در مقاله های متعدد از آنها نام برده شده است ، در مورد عملگرهای مشهور ارزیابی می نمائیم. در فصل اول به معرفی جبرهای استلزامی، استلزام مثبت و استلزام می پردازیم. این بررسی تنها از آن جهت صورت می گیرد که این خواص را طبقه بندی کرده و در کلاسهای ویژه از اثبات خاصیتهای دیگر مربوط به آن کلاس خودداری نمائیم. در فصل دوم، عملگرهای لوکاسیویچ، گودل، گو...