اثباتهای جدید برای قضایای اقلیدس و اویلر
author
Abstract:
در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.
similar resources
تطبیقی پیرامون قضایای کلی و جزئی در منطق جدید و قدیم
در این مقاله دو مدعای منطق ریاضی، مبنی بر: 1) وجودی بودن همه قضایای جزئیه. 2) شرطی بودن همه قضایای کلیه، نخست مورد بررسی و نقد قرار گرفته، سپس موضع منطق قدیم در این باب مطرح شده است. نتیجه بهدست آمده آن است که هیچ یک از دو مدعای فوق به صورت موجبه کلیه درست نیست.
full textمقبولیّت اثباتهای تصویری در ریاضیات
اغلب ریاضیدانان اثباتهای تصویری را بهعنوان یک نوع اصیل از اثباتهای ریاضیاتی نمیپذیرند یا در پذیرش آنها تردید دارند. در این مقاله ده ایراد متداول یا احتمالی وارد بر این نوع اثباتها صورتبندی شده و جداگانه مورد ارزیابی نقادانه قرارگرفته است. در هریک از این ایرادها ادعا میشود که اثباتهای تصویری فاقد یکی از ویژگیهایی هستند که برای اثباتهای ریاضیاتی اساسیاند یا باید اساسی باشند: صوری بودن، نما...
full textتطوّر تاریخی قضایای ثلاث
خونجی و پیروان وی، با اثرپذیری از فخر رازی، قضیه محصور را به دو قسم حقیقی و خارجی تقسیم کردهاند. ابهری قسم سومی را تحت عنوان «ذهنی» به دو قسم پیشگفته اضافه میکند. خواجه طوسی و پیروان وی با طرح دیدگاه رقیب به ردّ دیدگاه خونجی میپردازند. تحلیل و تبیین تطوّر تاریخی طبقه بندی گزاره حملی به حقیقی، خارجی، و ذهنی مسئله تحقیق حاضر است. در پرتو تحلیل و تبیین تاریخی این تقسیمبندی، روشن می شود که در ا...
full textتحلیل منطقی قضایای ثلاث
غرض از نگارش نوشتار حاضر، ارائهی تحلیلی مستدلّ و مستند از دو طبقهبندی مهم منطقی است؛ یکی تقسیم قضیهی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیهی حملیّهی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقهبندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علمشناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقهبندی و با اخذ رویآوردی منطقی ...
full textترکیب روشهای سیگنال تحلیلی و واهمامیخت اویلر (Euler Deconvolution) (AN_EUL) برای تفسیر دادههای مغناطیسی دوبُعدی
روش AN-EUL روش خودکار برای برآورد مکان و محاسبه عمق و اندیس ساختاری (Structural index) (شکل) چشمههای مغناطیسی است. این روش ترکیبی از دو روش سیگنال تحلیلی و واهمامیخت اویلر است و معادلات آن از جایگذاری مشتقهای مناسب معادله اویلر در معادله سیگنال تحلیلی میدان بهدست میآید. در این مقاله روش AN-EUL برای برآورد مکان و محاسبه عمق و اندیس ساختاری ساختارهای دوبُعدی بهکار گرفته شده است. بهاینترت...
full textMy Resources
Journal title
volume 29 issue شماره 45
pages 75- 78
publication date 2011-02-20
By following a journal you will be notified via email when a new issue of this journal is published.
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023