رویکردی جهانی به ناتمامیت، نقاط ثابت و پارادکس های خودارجاعی

پایان نامه
چکیده

در این پایان نامه، با یک روش توصیفی، نظرات لاوور در نظریه رسته ها با استفاده از زبان نظریه مجموعه ای ارائه و توسعه داده می شوند.ضمنا چگونگی ایجاد و تکوین پارادکس های خودارجاعی، ناتمامیت و قضایای نقطه ثابت از قضیه تعمیم یافته کانتور تشریح خواهند شد. همچنین این رویه برای پارادکس دروغگو، پارادکس گرلینگ و ریچارد، مساله توقف تورینگ، مساله اراکل دار p=np ، پارادکس سفر در زمان، گزاره های پریخ، پارادکس لب و قضیه رایس تعمیم داده میشود.

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023