くだらねぇ問題はここへ書け (836ﾚｽ)
上下前次1-新

---

582(1): 2022/08/29(月)12:20 ID:cg/tjCFi(3/3) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
582: [] 2022/08/29(月) 12:20:15.15 ID:cg/tjCFi これはRaphael M. Robinsonの “Primitive recursive functions.” (Bull. Amer. Math. Soc. October. 1947: 925 – 942.)に書いてあります。 たしかに証明でやっているようにα、βを定義して、それらからiterationでGを定義すれば、Gは都合のいい性質を満たしてくれていて、Gから簡単に目的のF’を定義できます。 しかし、証明を追うことはできても発想を理解できなくて釈然としません。 とくにG(x, y)=J(x, F(x, y))を満たすGを得るためにA, BとI, J, K, Lからあのようにα, βを定義するに至った気持ちがわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1412425325/582
これは の に書いてあります たしかに証明でやっているようにを定義してそれらからでを定義すればは都合のいい性質を満たしてくれていてから簡単に目的のを定義できます しかし証明を追うことはできても発想を理解できなくて釈然としません とくに を満たすを得るために と からあのように を定義するに至った気持ちがわかりません

---

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

---

あと 254 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 1.174s*