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

در این پایان نامه که بر اساس مرجع [11] تنظیم شده است یک معیار جدید برای عملگر‎k‎ ‎-هیپونرمال ‎‎‎از طریق عملگر زیر‎نرمال ضعیف به دست خواهیم آورد. با استفاده ازمعیار به دست آمده، نوع‎ ‎قوی تری‎ از معیار زیرنرمال اسپیکووسکی‎‎‎ ‎‎را ارائه می دهیم و یک اثبات ساده از نتیجه ی اصلی مرجع [18] که یک فاصله ی بین ‎-‎k‎‎هیپونرمال و ‎‎-‎k‎+1‎هیپونرمال برای عملگرهای توپلیتز ‎‎‎‎را شرح می دهد، به دست می آوریم....

  Single phase polycrystalline Gd1-xPrxBa2Cu3O7-δ samples with x=0.05 , 0.10, and 0.15 have been prepared by standard solid state reaction technique and characterized by XRD and SEM analysis. The electrical resistivity, Hall effect and magnetoresistance measurements have been on the samples. The electrical resistivity measurements indicate a reduction of transition temperature (Tc) and an incre...

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

در برخی مسائل آماری از جمله آزمون فرضیه‌ها نیاز به وجود اثبات استقلال دو آمارۀ کمکی و آمارۀ بسنده کامل داریم. با استفاده از قضیة باسو بدون این که توزیع توﺃم دو آماره محاسبه شوند، با داشتن شرایط لازم وجود این استقلال ثابت می‌شود. در این مقاله به بیان کاربردهایی از این قضیه در آزمون فرضیه‌های آماری می‌پردازیم. پیدا کردن توزیع نسبت درست‌نمایی تعمیم یافته و پرتوان‌ترین آزمون‌های یکنواخت نااریب، است...

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

با توجه به اهمیت بهره وری کل عوامل (tfp) و نقش تأثیرگذار آن بر رشد اقتصادی، در مطالعه حاضر تلاش شده است بهره وری کل عوامل در ایران با استفاده از چارچوب حسابداری رشد طی دوره 1387-1345 مورد بررسی قرار گیرد. نتایج تجربی تحقیق ضمن تأیید فرضیه بازدهی ثابت نسبت به مقیاس در ایران و تعیین سهم 62 درصدی برای سرمایه فیزیکی از تولید، نشان داد، روند نرخ رشد tfp ایران طی دوره مورد مطالعه مثبت با شیب بسیار ان...

مطالعه قضایای حدی و قانون اعداد بزرگ در نظریه احتمال به جهت ارتباط جنبه های عملی و تئوری نظریه کلاسیک اهمیت زیادی دارد. فرض کنیم {xn, n?1} دنباله ای از متغیرهای تصادفی با مقادیر حقیقی روی فضای احتمال (?, f, p) و sn???xi آنگاه بر حسب اینکه sn - an/bn در احتمال یا تقریبا همه جا به صفر همگرا باشد قانون ضعیف اعداد بزرگ و قانون قوی اعداد بزرگ را خواهیم داشت {an, n?1} دنباله ای از اعداد حقیقی و {bn, ...

در این مقاله ما شرط لازم و کافی برای وجود جواب تناوبی غیربدیهی معادله دیفرانسیل مرتبه سوم غیرخطی را مطالعه نموده و با استفاده از قضیه توابع ضمنی،وجود این جواب را ثابت مینمائیم. سپس با استفاده از کامپیوتر جواب تناوبی را در حالت خاصی تقریب نموده و آن را در صفحات xt,xx?وx?x?? رسم می نمائیم. شایان ذکر است که معادله در نظر گرفته شده میتواند یک مدل ریاضی برای ترمز خودروهای سنگین باشد.