قضیه بازگشت [=Recursion Theorem] یکی از قضایای مهم و کلیدی نظریه مجموعه هاست، این قضیه در واقع به ما می گوید «استقرا» فقط روشی برای اثبات نیست، بلکه می توان اشیایی را نیز با آن تعریف کرد، به عبارتی این قضیه حقیقت ساده ای را بیان میکند، به ما می گوید تابع بازگشتی «وجود» دارد. شاید این امر بدیهی بنظر برسد اما اثبات آن چندان بدیهی نیست، شاید کسان دیگری هم چون من در فهم اثبات این قضیه مشکل داشته باشند، من یادداشتی از اثبات این قضیه برداشتم که ممکن است به فهم ساده تر قضیه کمک کند، PDF آن را می توانید از لینک زیر دانلود کنید:
درباره این سایت