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