כל מה שרצית לדעת על תורת הרקורסיה:
תורת הרקורסיה היא תחום במתמטיקה העוסק ברמת החישוביות והאי-פתירות של פונקציות מהטבעיים לעצמם, כמייצגים של מאגרי מידע אינסופיים.
תחום זה קשור בקשר הדוק לתורת הקבוצות וללוגיקה מתמטית.
במרכז תורת הרקורסיה נמצא מושג דרגות טיורינג.