آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
محل انتشار: فصلنامه ریاضی و جامعه، دوره: 3، شماره: 3
سال انتشار: 1397
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 208
فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_MATH-3-3_006
تاریخ نمایه سازی: 24 فروردین 1400
چکیده مقاله:
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوتهای آنها با منطق و آنالیز ریاضی کلاسیک را بیان میکنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه میشود و لذا میتوان این نوع از آنالیز ریاضی را یک نوع زبان برنامهنویسی سطح بسیار بالا قلمداد کرد. به منظور آشنایی دقیق با روشهای استدلال سازنده، ابتدا دستگاه اعداد حقیقی را با یک روش سازنده ساخته و تفاوتهای اصولی آنالیز سازنده نسبت به آنالیز کلاسیک را که ریشه در خواص شناخته شده اعداد حقیقی دارد، تبیین مینماییم. در ادامه، چند قضیه وجودی در آنالیز کلاسیک و معادل سازنده آنها را بیان میکنیم. خواهیم دید که در اکثر مواقع، قضایای وجودی دقیق در آنالیز کلاسیک، به قضایای وجودی تقریبی در آنالیز سازنده تبدیل میشوند.
کلیدواژه ها:
نویسندگان
رضا ستوده
دانشگاه یاسوج
حمیدرضا گودرزی
دانشگاه یاسوج