ロジャースの定理との比較
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)
「クリーネの再帰定理」の記事における「ロジャースの定理との比較」の解説
クリーネの第二再帰定理とロジャースの定理は一方から他方を簡単に証明できる(Jones, 1997: p. 229-230)。ところが、クリーネの定理の直接証明(Kleene 1952: p. 352-353)は万能関数を使用しない。その意味するところは、万能関数を持たない幾つかの弱い計算模型に於いても同様の定理が成り立つということである。
※この「ロジャースの定理との比較」の解説は、「クリーネの再帰定理」の解説の一部です。
「ロジャースの定理との比較」を含む「クリーネの再帰定理」の記事については、「クリーネの再帰定理」の概要を参照ください。
- ロジャースの定理との比較のページへのリンク