اثباتهای جدید برای قضایای اقلیدس و اویلر

author

Abstract:

در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

تطبیقی پیرامون قضایای کلی و جزئی در منطق جدید و قدیم

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

full text

مقبولیّت اثباتهای تصویری در ریاضیات

اغلب ریاضی‌دانان اثباتهای تصویری را به‌عنوان یک نوع اصیل از اثباتهای ریاضیاتی نمی‌پذیرند یا در پذیرش آنها تردید دارند. در این مقاله ده ایراد متداول یا احتمالی وارد بر این نوع اثباتها صورت‌بندی شده و جداگانه مورد ارزیابی نقادانه قرارگرفته است. در هریک از این ایرادها ادعا می‌شود که اثباتهای تصویری فاقد یکی از ویژگی‌هایی هستند که برای اثباتهای ریاضیاتی اساسی‌اند یا باید اساسی باشند: صوری بودن، نما...

full text

تطوّر تاریخی قضایای ثلاث

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

full text

تحلیل منطقی قضایای ثلاث

غرض از نگارش نوشتار حاضر، ارائه‌ی تحلیلی مستدلّ و مستند از دو طبقه‌بندی مهم منطقی است؛ یکی تقسیم قضیه‌ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه‌ی حملیّه‌ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه‌بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علم­شناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه‌بندی و با اخذ روی­آوردی منطقی ...

full text

ترکیب روش‏های سیگنال تحلیلی و واهمامیخت اویلر (Euler Deconvolution) (AN_EUL) برای تفسیر داده‏های مغناطیسی دوبُعدی

روش AN-EUL روش خودکار برای برآورد مکان و محاسبه عمق و اندیس ساختاری (Structural index) (شکل) چشمه‏های مغناطیسی است. این روش ترکیبی از دو روش‏ سیگنال تحلیلی و واهمامیخت اویلر است و معادلات آن از جایگذاری مشتق‏های مناسب معادله اویلر در معادله سیگنال تحلیلی میدان به‌دست می‏آید. در این مقاله روش AN-EUL برای برآورد مکان و محاسبه عمق و اندیس ساختاری ساختارهای دوبُعدی به‌کار گرفته شده است. به‌‌این‌‌ترت...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


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.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023