اثباتهای جدید برای قضایای اقلیدس و اویلر
نویسنده
چکیده مقاله:
در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.
منابع مشابه
تطبیقی پیرامون قضایای کلی و جزئی در منطق جدید و قدیم
در این مقاله دو مدعای منطق ریاضی، مبنی بر: 1) وجودی بودن همه قضایای جزئیه. 2) شرطی بودن همه قضایای کلیه، نخست مورد بررسی و نقد قرار گرفته، سپس موضع منطق قدیم در این باب مطرح شده است. نتیجه به‌دست آمده آن است که هیچ یک از دو مدعای فوق به صورت موجبه کلیه درست نیست.
متن کاملمقبولیّت اثباتهای تصویری در ریاضیات
اغلب ریاضی‌دانان اثباتهای تصویری را به‌عنوان یک نوع اصیل از اثباتهای ریاضیاتی نمی‌پذیرند یا در پذیرش آنها تردید دارند. در این مقاله ده ایراد متداول یا احتمالی وارد بر این نوع اثباتها صورت‌بندی شده و جداگانه مورد ارزیابی نقادانه قرارگرفته است. در هریک از این ایرادها ادعا می‌شود که اثباتهای تصویری فاقد یکی از ویژگی‌هایی هستند که برای اثباتهای ریاضیاتی اساسی‌اند یا باید اساسی باشند: صوری بودن، نما...
متن کاملتطوّر تاریخی قضایای ثلاث
خونجی و پیروان وی، با اثرپذیری از فخر رازی، قضیه محصور را به دو قسم حقیقی و خارجی تقسیم کرده‌اند. ابهری قسم سومی را تحت عنوان «ذهنی» به دو قسم پیش‌گفته اضافه می‌کند. خواجه طوسی و پیروان وی با طرح دیدگاه رقیب به ردّ دیدگاه خونجی می‌پردازند. تحلیل و تبیین تطوّر تاریخی طبقه بندی گزاره حملی به حقیقی، خارجی، و ذهنی مسئله تحقیق حاضر است. در پرتو تحلیل و تبیین تاریخی این تقسیم‌بندی، روشن می شود که در ا...
متن کاملتحلیل منطقی قضایای ثلاث
غرض از نگارش نوشتار حاضر، ارائه‌ی تحلیلی مستدلّ و مستند از دو طبقه‌بندی مهم منطقی است؛ یکی تقسیم قضیه‌ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه‌ی حملیّه‌ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه‌بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علمشناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه‌بندی و با اخذ رویآوردی منطقی ...
متن کاملترکیب روشهای سیگنال تحلیلی و واهمامیخت اویلر (Euler Deconvolution) (AN_EUL) برای تفسیر دادههای مغناطیسی دوبُعدی
روش AN-EUL روش خودکار برای برآورد مکان و محاسبه عمق و اندیس ساختاری (Structural index) (شکل) چشمههای مغناطیسی است. این روش ترکیبی از دو روش سیگنال تحلیلی و واهمامیخت اویلر است و معادلات آن از جایگذاری مشتقهای مناسب معادله اویلر در معادله سیگنال تحلیلی میدان به‌دست میآید. در این مقاله روش AN-EUL برای برآورد مکان و محاسبه عمق و اندیس ساختاری ساختارهای دوبُعدی به‌کار گرفته شده است. به‌‌این‌‌ترت...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 29 شماره شماره 45
صفحات 75- 78
تاریخ انتشار 2011-02-20
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023