2019/05/09
とした上でアッカーマン関数 を抑える(← これ、恒等的ではなく、十分大きなxで では？)となるkが存在しない証明を聞いていると、寿司 虚空編( https://amzn.to/2JtBTbu )に出てきた「アッカーマン関数の強さがω」って言ってたのと対応しそうと思いだす。巨大数wiki見てると大体そんな感じっぽい。
寿司でいうとP116あたりの話。
これで 程度まで行けそうというのはわかる。
より大きい順序数についてそもそもよく知らないのでその先は全然わからない……。
P120にはもっと強そうな順序数が書かれている。
巨大数