آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
دریافت مدرک
FullText
اندازه فایل:
1.170 مگابایتنوع فايل (MIME):
PDFنوع مدرک
Textمقاله پژوهشی
زبان مدرک
فارسیچکیده
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوت‌های آنها با منطق و آنالیز ریاضی کلاسیک را بیان می‌کنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه می‌شود و لذا می‌توان این نوع از آنالیز ریاضی را یک نوع زبان برنامه‌نویسی سطح بسیار بالا قلمداد کرد. به منظور آشنایی دقیق با روش‌های استدلال سازنده، ابتدا دستگاه اعداد حقیقی را با یک روش سازنده ساخته و تفاوت‌های اصولی آنالیز سازنده نسبت به آنالیز کلاسیک را که ریشه در خواص شناخته شده اعداد حقیقی دارد، تبیین می‌نماییم. در ادامه، چند قضیه وجودی در آنالیز کلاسیک و معادل سازنده آنها را بیان می‌کنیم. خواهیم دید که در اکثر مواقع، قضایای وجودی دقیق در آنالیز کلاسیک، به قضایای وجودی تقریبی در آنالیز سازنده تبدیل می‌شوند.
کلید واژگان
منطق شهودی براورآنالیز سازنده بیشاپ
اصل طرد شق میانی
قضیه وجودی
تخصصی
شماره نشریه
3تاریخ نشر
2018-11-221397-09-01
ناشر
دانشگاه اصفهانسازمان پدید آورنده
دانشگاه یاسوجدانشگاه یاسوج
شاپا
2345-64932345-6507
