FANDOM


A(1,0,1,63) ≦ F_1 ≦ A(1,0,1,64) の証明についてです。

内容は Dropbox にあります。たぶん合ってると思うのですが、細かい証明はやっていないので査読してくれる方がいらっしゃるとありがたいです。

訂正 (2017.08.21追記)

この証明はSS変換の定義を勘違いした上で行ったものなので、本来の意味でのふぃっしゅ数バージョン1の評価にはなっていません。すいません。

SS変換の本来の定義:

\(\ SS(m,f,T) = (T^{f(m)}(m,f), T^{f(m)}) \quad \) ただしTは(関数, 数)の組から(関数, 数)を返す写像.

SS変換の, 自分がこうだと勘違いしていた定義:

\(\ SS(m,f,T) = ((T^{f(m)}f)(m), T^{f(m)}f, T^{f(m)}) \quad \) ただしTは関数から関数を返す写像(いわゆる"変換").

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。