07/09/17 21:09:39
>>338 の 46580.txt と同じような考え方の関数が過去ログにありました。
5スレ目の >>768 のhydra gameです。
A{ リスト }(n) で、リストには
[[[]]]や[[][]] のような文字列が入ります。
[a] で順序数ω^a 、[a][b] のようにリストを並べたもので順序数の加算をあらわし、
A{ [[[....x個....[ ].....x個.....]]] }(x)
で F[ε_0](n) 程度の増大度になるようです。
07/09/17 21:09:39
>>338 の 46580.txt と同じような考え方の関数が過去ログにありました。
5スレ目の >>768 のhydra gameです。
A{ リスト }(n) で、リストには
[[[]]]や[[][]] のような文字列が入ります。
[a] で順序数ω^a 、[a][b] のようにリストを並べたもので順序数の加算をあらわし、
A{ [[[....x個....[ ].....x個.....]]] }(x)
で F[ε_0](n) 程度の増大度になるようです。