قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

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

نقاط کارای محض و فوق کارا از مفاهیم اصلی در بهینه سازی برداری هستند, که برای تعمیم و گسترش نقاط کارا معرفی شده اند ‎ در‎ سال 1953 ارو,‎‎‎‎ بارانکین‎‎‎‎ و بلکول‎‎‎‎ قضیه مهمی به نام (‎‎(abb را به صورت زیر اثبات کردند: فرض کنید ‎‎‎‎a‎‎ مجموعه ی غیرتهی و فشرده از یک فضای اقلیدسی باشد. در این صورت نسبت به مخروط ناحیه ی نامنفی, مجموعه نقاط کارای محض در نقاط کارای a‎ چگال می باشند. بعد از آن,...

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

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

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

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

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

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

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