شماره کتابشناسی ملی
شماره
۱۶۱۲۷پ
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
per
عنوان و نام پديدآور
عنوان اصلي
برهانهای استاندارد قضیه ی دوم ناتمامیت گودل
نام نخستين پديدآور
/شیوا خالقی
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
: علوم ریاضی
تاریخ نشرو بخش و غیره
، ۱۳۹۵
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
چاپی
یادداشتهای مربوط به پایان نامه ها
جزئيات پايان نامه و نوع درجه آن
کارشناسی ارشد
نظم درجات
ریاضی‌محض، گرایش منطق
زمان اعطا مدرک
۱۳۹۵/۱۱/۱۸
کسي که مدرک را اعطا کرده
تبریز
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
این پایاننامه شامل چندین برهان مختلف قضیه دوم ناتمامیت گودل است .در فصل اول، برهان استاندارد برای این قضیه به بیان باگاریا از مقاله] [ ۱زیر آورده شده است .فصل دوم، شرایط اثباتپذیری هیلبرت و برن را از مقاله] [ ۴زیر بررس م‌کند .بالاخره در فصل سوم و آخرین، برهان ی‌خ از] [ ۳و برهان چشلینس از] [ ۲که بر پایه پارادوکس گ‌رلینگ م‌باشد آورده شده است .پس این پایاننامه بر اساس مقالات زیر است
متن يادداشت
dels second incompleteness theorem. In the first chapter a standard proof of this theorem, due to Bagaria [۱], is presented. In the second chapter, the derivibility conditions from [۴] are investegated. Finally, in the third and last chapter, the proof of Jech [۳] and of Cieliski [۲], which is based on Grelling Paradox, are presentedنThis thesis consist of several proofs for G
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
خالقی، شیوا
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
صالحی پورمهر، سعید، استاد راهنما
مستند نام اشخاص تاييد نشده
حومئی، هژیر، استاد مشاور
مستند نام اشخاص تاييد نشده
کریم پور ینگجه، جابر، استاد مشاور
دسترسی و محل الکترونیکی
يادداشت عمومي
سیاه و سفید
وضعیت فهرست نویسی
وضعیت فهرست نویسی
نمایه‌سازی قبلی
