آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
Publish place: Mathematics and Society، Vol: 3، Issue: 3
Publish Year: 1397
نوع سند: مقاله ژورنالی
زبان: Persian
View: 219
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_MATH-3-3_006
تاریخ نمایه سازی: 24 فروردین 1400
Abstract:
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوت‌های آنها با منطق و آنالیز ریاضی کلاسیک را بیان می‌کنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه می‌شود و لذا می‌توان این نوع از آنالیز ریاضی را یک نوع زبان برنامه‌نویسی سطح بسیار بالا قلمداد کرد. به منظور آشنایی دقیق با روش‌های استدلال سازنده، ابتدا دستگاه اعداد حقیقی را با یک روش سازنده ساخته و تفاوت‌های اصولی آنالیز سازنده نسبت به آنالیز کلاسیک را که ریشه در خواص شناخته شده اعداد حقیقی دارد، تبیین می‌نماییم. در ادامه، چند قضیه وجودی در آنالیز کلاسیک و معادل سازنده آنها را بیان می‌کنیم. خواهیم دید که در اکثر مواقع، قضایای وجودی دقیق در آنالیز کلاسیک، به قضایای وجودی تقریبی در آنالیز سازنده تبدیل می‌شوند.
Keywords:
Authors
رضا ستوده
دانشگاه یاسوج
حمیدرضا گودرزی
دانشگاه یاسوج