- 巨大数探索スレッド13
530 :132人目の素数さん[sage]:2018/04/13(金) 15:23:02.23 ID:2dv7UoaQ - IJK(Infinity-Jumping-Kangaroo)関数
一階述語論理でn個以内の記号で表現できるいかなるFGHの階層よりも強い最弱の一変数関数にnを代入する関数である IJK(888)をカンガルー数と呼ぶ
| - 巨大数探索スレッド13
531 :132人目の素数さん[sage]:2018/04/13(金) 15:48:28.03 ID:2dv7UoaQ - IJK^888(888)に訂正
|
|