この記事は、全部または一部が他の記事や節と重複しています。 具体的には計算可能性理論との重複です。記事のノートページで議論し、 重複箇所を重複先記事へのリンクと要約文にする(ウィキペディアの要約スタイル参照)か 重複記事同士を統合する(ページの分割と統合参照)か 重複部分を削除して残りを新たな記事としてください。 (2023年12月) 再帰理論(さいきりろん、英:Recursion theory)は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や エフェクティブ記述集合論(en)とも密接に関係する。 再帰理論の根本的疑問は「自然数から自然数への関数が計算可能であるとはどういう意味か?」と、「計算不能関数は、その計算不能性のレベル