再帰理論
再帰理論（さいきりろん、英：Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。
再帰理論（さいきりろん、英：Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。
再帰理論（さいきりろん、英：Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。
出典: Wikipedia「再帰理論」 · CC BY-SA 4.0
この記事を共有: X · Bluesky