یکی از مباحث بنیادی و بحث انگیز حوزه فلسفه تحلیلی و منطق فلسفی در قرن حاضر نظریه توصیفات است. این نظریه به تحلیل توصیفات نکرده و به ویژه معرفه می پردازد. یکی از جدی ترین مشکلات در این نظریه ، مشکل توصیفات معرفه تهی است . این رساله ضمن پرداختن به آراء مؤسسین این نظریه که بیشترین تأثیر را بر دیگران داشته اند، مانند: ماینونگ ، فرگه ، راسل ، دنلان، کریپسکی ، به بیان راه حل آنان برای مشکل فوق ، با ت...

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

در بررسی زیر پس از ذکر قضیه ی همیلتن – کیلی و یاداوری روش معمولی محاسبه ی تابع اکسپنانسیل (نمائی) ماتریسی ، ابتدا ثابت می کنیم که هر چند جمله ای درجه n ام که بیش از n ریشه داشته باشد متحد با صفر است . سپس با استفاده از آن ثابت می کنیم که حاصل جمع n چند جمله ای لاگرانژ از درجه n-1 که با ضرایب خاصی تعریف شده باشند برابر 1 است و این نتیجه را همراه با قضیه همیلتن – کیلی برای اثبات یک روش محاسبه تاب...

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

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

یکی از مباحث بنیادی و بحث انگیز حوزه فلسفه تحلیلی و منطق فلسفی در قرن حاضر نظریه توصیفات است. این نظریه به تحلیل توصیفات نکرده و به ویژه معرفه می پردازد. یکی از جدی ترین مشکلات در این نظریه ، مشکل توصیفات معرفه تهی است . این رساله ضمن پرداختن به آراء مؤسسین این نظریه که بیشترین تأثیر را بر دیگران داشته اند، مانند: ماینونگ ، فرگه ، راسل ، دنلان، کریپسکی ، به بیان راه حل آنان برای مشکل فوق ، با ت...

در این پایان نامه ابتدا در فصل اول تعاریف و قضایای مورد نیاز را مطرح می کنیم. در فصل دوم هم تعاریفی در مورد خاصیت ابردوری و زبردوری برای دنباله هایی از عملگرها و قضایای اولیه مورد نیاز در فصل سوم را بیان می کنیم. در فصل سوم نیز قبل از اثبات قضایای مربوط به ارتباط بین ابردوری و زبردوری بودن عملگر-های ترکیبی یک شرط لازم نسبتاً کلی برای زبردوری بودن را در قضیه ی 3- 1- 1 ثابت می کنیم. در قضیه ی 3- 2...

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