משפט הרקורסיה (גם: משפט נקודת השבת, או משפט הרקורסיה של קליני) הוא משפט בתורת החישוביות הנוגע לקשר בין פונקציות בנותחישוב לתיאור שלהן. המשפט הוכח על ידי סטיבן קליני בשנת 1938. מתוך ויקיפדיה

משפט הרזידום, משפט הרמיט⁻לידנמן, משפט הרמיט⁻לינדמן⁻ויירשטראס, משפט הרצח של או. ג'יי. סימפסון, משפט הרציפות של קולמוגורוב, משפט השאריות, משפט השאריות הסיני, משפט השארית, משפט השארית (אנליזה מתמטית), משפט השגרירים