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

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

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

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

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

در این پایان نامه، روی جریان های متغیر با زمان ‎(پویا)‎ مطالعه می کنیم که هر کمان یک زمان گذر دارد. در واقع جریان های پویا شامل زمان های گسسته و پیوسته است. در این پایان نامه مدل جدیدی را با استفاده از تئوری اندازه می بینیم که شامل هر دو جریان متغیر با زمان است. در اینجا جریان روی هر کمان اندازه ی بورل روی اعداد حقیقی تعریف می شود. در این پایان نامه قضیه مشهور جریان بیشینه - برش کمینه با استفاد...

انسانها، به طور طبیعی، دارای استعدادی هستند که به وسیلة آن می توانند در مورد اشخاص یا اشیاء جزئی موجود حکم صادر کرده یا تصدیقی انجام بدهند. آنان در موقعیتهای گوناگون و به دلایل مختلف، احکام و تصدیقات خود را در قالب الفاظ مرکب، نظیر جمله های حملیه، تعبیر می کنند، مثلاً: «حافظ شاعر است» و «شما در حال خواندن هستید» در مواقعی نیز، انسانها، به احکام و تصدیقاتی دربارة معدومات نائل می شوند؛ که آنها را ...