نام پژوهشگر: مهرنوش صحاحی
قضایای ناتمامیت گودل و راسر
پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی و کامپیوتر
1395
مهرنوش صحاحی سعید صالحی پور مهر
مهرنوش صحاحی سعید صالحی پور مهر
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.