Skip to main content
SUPERVISOR
مجتبی آقائی فروشانی (استاد راهنما) رسول رمضانیان (استاد مشاور)
 
STUDENT
Zahra Ghafouri
زهرا غفوری

FACULTY - DEPARTMENT

دانشکده ریاضی
DEGREE
Master of Science (MSc)
YEAR
1388

TITLE

The Intermediate Value Theorem in Constructive Analysis
Since the beginning of the twentieth century several positions w.r.t. the foundations of mathematic have been formulated which might be said to be versions of constructivism. Typically a constructivist view demands of mathematics some form of explicitness of the objects studied, they must be concretely representable, or explicitly definable, or capable of being viewed as mental constructions. In this master thesis, in chapter 1, we attempt to illustrate the idea of constructivity by means of some quite elementary examples and next we briefly introduce the three most important varieties of constructivism: First, Intuitionism (INT), due to the Dutch mathematician L.E.J. Brouwer, insisting that mathematics is a mental construction throughout; a consequent development of this point of view leads to a mathematical practice which deviates from and ?(1)=1, and e the set of all ?’s i for which there exists x in [0,1] such that ?(x)=1/2. It is well-known that there are functions i which cannot been proved to be belonged to , and that with the help of Brouwr’s continuity principles . Based on [20], it is shown that in the presence of Brouwer’s continuity principle it can be defined uncountabaly many subsets of with the property . For this purpose, some special ), i.e. .
در این پایان نامه به بررسی برخی از گزاره های معتبر کلاسیک و به طور خاص قضیّهى مقدار میانی در دنیای ساختی می پردازیم. در این راستا به اجمال گونه های مختلف ریاضیات ساختی معرفی و رابطهى بین آن ها بیان می گردد. سپس به بحث پیرامون اصول غیرکلاسیکی خواهیم پرداخت که نقش مهمّی در ریاضیات ساختی بر عهده دارند. علاوه براین، اصولی که از دیدگاه کلاسیک معتبر امّا در نوع ساختی نیازمند توجیهات مختلف هستند نیز مطرح و نتایج جالب حاصل از حضور این دو نوع اصل در کنار یکدیگر بیان می گردد. در ادامه به بررسی رابطهى بین این اصول و قضیّهى مقدار میانی خواهیم پرداخت و با معرّفی مفهوم شاید، صورت شایدی این قضیه و مباحث جالبی پیرامون آن مطرح می گردد. در پایان نقیض دوگانهى قضیهى مقدار میانی بیان و ارتباط آن با شمای ED و دنباله های یکنوای بدون حد بررسی می شود. رده بندی موضوعی: 55F03 (60F03) کلمات کلیدی: ریاضیّات ساختی، ریاضیّات شهودگرایانه، قضیّهى مقدار میانی، شاید، تصمیم پذیری

ارتقاء امنیت وب با وف بومی