巨大数探索スレッド7
■ このスレッドは過去ログ倉庫に格納されています
0550有流才蔵
2007/10/17(水) 13:28:18m(1): (自然数→自然数)
m(1)x=x^x
m(2): ((自然数→自然数)→(自然数→自然数))
(m(2)m(1))x=(m(1)^x)x
m(3): (((自然数→自然数)→(自然数→自然数))
→((自然数→自然数)→(自然数→自然数)))
((m(3)m(2))m(1))x=(m(2)^x m(1))x
一般に、自然数nに対して、m(n+1)は以下のように定義される。
(・・・((m(n+1)m(n))m(n-1))・・・m(1))x
=(・・・((m(n)^x m(n-1))・・・m(1))x
ふぃっしゅ関数Ver.5はm(n)を用いて以下のように定義される。
F5(x):=((..((m(x)m(x-1))m(x-2))...m(2))m(1))(x)
■ このスレッドは過去ログ倉庫に格納されています