Follow
今、少し得た知識。
「任意の定数関数は計算可能」
「ラヨ数（計算不可能関数で定義される）を返す定数関数も計算可能」
↓
よくある「計算可能関数の出力である巨大数」を「計算可能巨大数」の定義にするのは間違い。
今、少し得た知識。
「任意の定数関数は計算可能」
「ラヨ数（計算不可能関数で定義される）を返す定数関数も計算可能」
↓
よくある「計算可能関数の出力である巨大数」を「計算可能巨大数」の定義にするのは間違い。