تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

می توان الأشکال الکریه از منلائوس را مهم ترین اثر در سنت نگارش کتاب های اکر دانست؛ کتاب هایی که با هدف حل مسائل نجوم کروی به رشتۀ تحریر درآمده اند. کتاب اصول از اقلیدس نیز مهمترین اثر دربارۀ هندسۀ اشکال مسطحه در ریاضی باستان است. در مقالۀ پیش رو نگارنده بر آن است که با قیاس میان کتاب الأشکال الکریه و اصول اقلیدس، نشان دهد که مقالۀ اول الأشکال الکریه کوششی جهت بازسازی محتوای مقالۀ اول اصول برای ...

اگرچه منشأ نحوۀ ساخت و روش استفاده از ترازوی منسوب به ارشمیدس برای حل مسألۀ تعیین اجزاء یک جسم مرکب نامشخّص است، دغدغۀ دانشمندان بعدی در بارۀ پیچیدگی نحوۀ ساخت و خطای آزمایش انجام شده با آن واضح است. منلائوس برای حل این مشکل روشی برای حل مسأله مبنی بر محاسبات ریاضی عرضه کرده است. این روش به اطّلاعات اوّلیه‌ای احتیاج دارد که شامل وزن قطعات هم‌حجمی از خود فلزات و آلیاژ‌های تشکیل دهندۀ آن جسم است، ال...

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

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

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

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

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