巨大数を語り合うスレ (244ﾚｽ)

巨大数を語り合うスレ http://rio2016.5ch.net/test/read.cgi/math/1660209003/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

183: １３２人目の素数さん [sage] 2024/05/09(木) 11:50:50.31 ID:kr5FQ87d >>182のいう「帰納的関数」が全域帰納的関数であるなら それだけを列挙する関数は帰納的ではないでしょうな また部分帰納的関数で良いのであれば答えがない場合も許されるので 列挙関数が帰納的でもよい つまり、列挙関数が対角線と交わる箇所では答えがない http://rio2016.5ch.net/test/read.cgi/math/1660209003/183

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.019s