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

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

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

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

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

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

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

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

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

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