תורת החישוביות/משפט הרקורסיה: הבדלים בין גרסאות בדף

בפרק זה נעסוק ב'''משפט הרקורסיה''' – אחד המשפטים המעניינים והמפתיעים שקיימים, ולו שימושים רבים ב{{וק|חישוביות}}, {{וק|לוגיקה מתמטית|לוגיקה}} ו{{וק|תורת הקבוצות}}. פרק זה יהיה מעט פילוסופי, וקצת יסטה מהקו הפורמלי שנקטנו בו עד כה, מכיוון שהמטרה היא להביע את הרעיון ולא את "הפרטים הקטנים" שעומדים מאחריו. הרעיון העיקרי של הפרק הוא רעיון ה{{וק|הפניה עצמית|הפניה העצמית}} בו מ״ט מתייחסת לעצמה, או לקוד של עצמה.