آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
عنوان مقاله: آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
شناسه ملی مقاله: JR_MATH-3-3_006
منتشر شده در در سال 1397
شناسه ملی مقاله: JR_MATH-3-3_006
منتشر شده در در سال 1397
مشخصات نویسندگان مقاله:
رضا ستوده - دانشگاه یاسوج
حمیدرضا گودرزی - دانشگاه یاسوج
خلاصه مقاله:
رضا ستوده - دانشگاه یاسوج
حمیدرضا گودرزی - دانشگاه یاسوج
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوتهای آنها با منطق و آنالیز ریاضی کلاسیک را بیان میکنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه میشود و لذا میتوان این نوع از آنالیز ریاضی را یک نوع زبان برنامهنویسی سطح بسیار بالا قلمداد کرد. به منظور آشنایی دقیق با روشهای استدلال سازنده، ابتدا دستگاه اعداد حقیقی را با یک روش سازنده ساخته و تفاوتهای اصولی آنالیز سازنده نسبت به آنالیز کلاسیک را که ریشه در خواص شناخته شده اعداد حقیقی دارد، تبیین مینماییم. در ادامه، چند قضیه وجودی در آنالیز کلاسیک و معادل سازنده آنها را بیان میکنیم. خواهیم دید که در اکثر مواقع، قضایای وجودی دقیق در آنالیز کلاسیک، به قضایای وجودی تقریبی در آنالیز سازنده تبدیل میشوند.
کلمات کلیدی: منطق شهودی براور, آنالیز سازنده بیشاپ, اصل طرد شق میانی, قضیه وجودی
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1177624/