0288132人目の素数さん
2024/05/15(水) 05:45:00.98ID:jnpUU+rE>何らかの意味で帰納的(人間が帰納的に考えうる)関数全体は可算ではないとか?
というより帰納的関数だけを数えその他の関数を除くような帰納的関数は存在しない
ここで「除く」というのは「帰納的でない」という返答を返すという意味
帰納的な場合だけ「帰納的だ」といえばいいのであればOK これが帰納的可算集合
>>286
原始帰納的関数の定義を確認してごらん
その上で、その定義の方法で実現可能か確認してごらん
それが答えだよ