آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
نویسنده:
چکیده:
در این مقاله، منطق شهودی براور در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوت های آن ها با منطق و آنالیز ریاضی کلاسیک را بیان می کنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه می شود و لذا می توان این نوع از آنالیز ریاضی را یک نوع زبان برنامه نویسی سطح بسیار بالا قلمداد کرد. به منظور آشنایی دقیق با روش های استدلال سازنده، ابتدا دستگاه اعداد حقیقی را با یک روش سازنده ساخته و تفاوت های اصولی آنالیز سازنده نسبت به آنالیز کلاسیک را که ریشه در خواص شناخته شده اعداد حقیقی دارد، تبیین می نماییم. در ادامه، چند قضیه وجودی در آنالیز کلاسیک و معادل سازنده آنها را بیان می کنیم. خواهیم دید که در اکثر مواقع، قضایای وجودی دقیق در آنالیز کلاسیک، به قضایای وجودی تقریبی در آنالیز سازنده تبدیل می شوند.
کلیدواژگان:
زبان:
فارسی
انتشار در:
صفحات:
79 تا 89
لینک کوتاه:
magiran.com/p1929596
دانلود و مطالعه متن این مقاله با یکی از روشهای زیر امکان پذیر است:
اشتراک شخصی
با عضویت و پرداخت آنلاین حق اشتراک یکساله به مبلغ 990,000ريال میتوانید 70 عنوان مطلب دانلود کنید!
اشتراک سازمانی
به کتابخانه دانشگاه یا محل کار خود پیشنهاد کنید تا اشتراک سازمانی این پایگاه را برای دسترسی نامحدود همه کاربران به متن مطالب تهیه نمایند!
توجه!
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.
دسترسی سراسری کاربران دانشگاه پیام نور!
اعضای هیئت علمی و دانشجویان دانشگاه پیام نور در سراسر کشور، در صورت ثبت نام با ایمیل دانشگاهی، تا پایان فروردین ماه 1403 به مقالات سایت دسترسی خواهند داشت!
In order to view content subscription is required
Personal subscription
Subscribe magiran.com for 50 € euros via PayPal and download 70 articles during a year.
Organization subscription
Please contact us to subscribe your university or library for unlimited access!