数学基礎論・数理論理学 その19 (605ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
280(1): １３２人目の素数さん [sage] 2024/05/14(火)18:15 ID:lFVS4E5b(1/3)
>>275
>帰納的な記法が一定の範疇に収まらない
そんなことある？
>>276
>いくらでも記法を新しく追加できる
>そこで使われる帰納的記法に収まらない記法を
>使って記述される帰納的関数は
>そのコーディング手法では記述できないから
>その帰納的関すに使われた記法も含めた
>さらに大きなコーディング手法を導入して
>コーディングするんでしょ？
収まらないってことある？
>>277
>どんな非可算に多い帰納的記法を使って定義した帰納的関数も
>ある一定の記法にしたがって定義した帰納的関数と
>同じ関数になることを証明できればいいんだけど
なんで帰納的記法が非可算になるの？
そんなことないけどな
>>278
>各個撃破で一定の記法に書き直せるかもしれないけど
>それじゃ安心できないんだなあ
包括的に一定の記法で書き表せるけど
安心できないのはそれが理解できてないからじゃね？
あと、いっとくけど、原始帰納的関数ね
281(1): １３２人目の素数さん [sage] 2024/05/14(火)18:20 ID:lFVS4E5b(2/3)
>>279
「PRAで」って条件忘れてる？
primitive recursive arithmeticだよ
君がいう関数はもちろん作れるけど
それってprimitive recursive functionではないよ
アッカーマン関数ってあるじゃん
あれって原始帰納的関数じゃないよ
282: １３２人目の素数さん [sage] 2024/05/14(火)18:24 ID:lFVS4E5b(3/3)
もしかして帰納的可算集合は帰納的集合かって聞いてる？
それならもちろん違うよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s