خمهای بیضوی از مطالعه روی توابع بیضوی نشئت گرفته است که نتیجه کار ریاضیدانانی چون وایرشتراس، آبل و ژاکوپی می باشد. یک خم بیضوی با معادله y^2=x^3+ax+b تعریف می شود که برای ضرایب گویای a و b مقدار عبارت 4a^3+27b^2 ناصفر است. جوابهای گویای این خم تشکیل گروهی به نام مردل- ویل با نماد (e(q می دهد. در سال 1901 هنری پوانکاره حدس زد که این گروه متناهی مولد است. در سال 1922 ساختار e(q) توسط لوئیس مردل ت...

در برخی قضایا و در برخی زبان ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه ای از مراتب «وجود» می دانند و از این رو از آن به «وجود رابط» تعبیر می کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم ترین آن ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

در این مقاله تحریرهای طوسی و مغربی، از راه تحقیق در ویژگیهای هر یک و تفاوتهای آنها با یکدیگر، بررسی می شود. طوسی در تحریر اُکَر تئودوسیوس به چارچوب ظاهری متن اصلی پایبند بوده است؛ در عین حال با اضافه کردن اصول موضوعه و چند قضیۀ مقدماتی به استحکام ساختار ریاضی این رساله افزوده است و جملاتی را که خود به متن اضافه کرده است با عبارات مشخصی چون «أقول» و «فی بعض النسخ» از متن اصلی جدا کرده است. شیوۀ نگ...

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

به‌دنبال توسعۀ فناوری­های ارتباطی، کشورها به‌تدریج متوجه نقش مافوق تصور تبلیغات در جهت دادن به افکار افراد در برابر مناسبات جهانی شدند. از همین رو در طول تاریخ، کشورها و افراد اقدام به انتشار تبلیغات خصمانه یا پروپاگاندا[1] کردند تا جهانیان را به ضروری یا بشردوستانه بودن اقدامات خصمانۀ خود متقاعد سازند. در همین خصوص، به‌طور ویژه از تبلیغات خصمانه برای تحریک به مخاصمۀ مسلحانه به‌مراتب استفاده شد...

در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

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

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