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

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

در این پایان نامه، پس از تعمیم مفهوم احاطه سازی روی دسته ای از دنباله های همگرا به صفر، شرایطی بر روی ماتریس بی نهایت بعدی p را بررسی می کنیم به گونه ای که برای هر c_0^? ? ? و ?، ? p توسط ? به طور قوی احاطه شود. مشاهده می کنیم که برخلاف حالت متناهی که برای هر ماتریس تصادفی دوگانه و هر x?r^n، x p توسط x احاطه می شود، در حالت نامتناهی چنین اتفاقی نمی افتد. حتی با بیان مثالی مشاهده می کنیم که برای...

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

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

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

در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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

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

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