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

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

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

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

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

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

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

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

در نوشتن این رساله فرض شده است که خواننده با مفاهیم رسته و تابعگون آشناست . بقیه مفاهیم مورد نیاز و همچنین رسته ها و تابعگون های خاصی که مورد استفاده قرار گرفته اند در سه فصل اول معرفی شده اند. در فصل صفر مفاهیم و قضایای مورد نیاز از 15 فصل اول از [8] با ذکر برهانها آورده شده است . فصل 1 به معرفی مفاهیم پالایه، رسته cc و خواص آن، رسته lcc، رسته clcc و قضایایی پیرامون آنها می پردازد. معمولا برها...

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