07/10/23 11:02:15
>>358
＞ >>338 のプログラムでは、F[ε_0](n)を超える
＞ F[φ_ω(0)](n)やF[ψ(Ω^(Ω+ω))](n)が
＞ いとも簡単にコーディングされていますが、
＞ このプログラムを理解できる人はいますか？
でけへんかった。なんか基本的に抜けが多いと思う。
>>347のアイデアは、要するに順序数の記法の取り扱いってことだよな。
それはええと思うんよ。でも、そのことと、たろう氏がそれを
実現できてるということとは全然別の話。
>>373
＞ >>338のプログラムを見ると、本当にこんなに短いプログラムで
＞ F[ψ(Ω^(Ω+ω))](n) を生成できるのかと、驚くばかりですが。
それはふぃっしゅ関数Ver5かて同しやと思うけどな。
まあ、ふぃっしゅ関数Ver5については、ようわかってきてるから
疑わんけど、たろう氏のプログラムが、ふぃっしゅ関数Ver5のレベル
ですら、ちゃんと実現でけてるのかは、今の時点では大いに疑わしいで。