این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

مسأل? اندیس برای عملگرهای بیضوی در سال ‎1959 (1960)‎، بوسیل? گلفند‎‎ ‎طرح شده بود. او این مسأل? کلی را مطرح کرد که اندیس آنالیزیِ یک عملگر دیفرانسیل بیضوی، چگونه با داده های توپولوژیک مسأله ارتباط دارد؟‎‎ در فصل چهار این پایان نامه می بینیم که اندیس آنالیزی، برای عملگرهای فردهولم قابل تعریف است. در سال ‎1960‎ یک ریاضیدان روسی به نام والتر‎‎ ‎ فهمید که برای عملگرهای بیضوی نیز می توان اندیس آ...

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

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