  |
G0(100) = 100 = 2^(2^2 + 2^1) + 2^1 + 2^(2^2 + 2^1) + 2^0 + 2^2
G1(100) = B[2](100) - 1 = 3^(3^3 + 3) + 3^3 + 3^(3^3 + 3) + 3^0 + 3^3 - 1 = 228767924549636
G2(100) = B[3](G1(100)) - 1 = 4^(4^4 + 4) + 4^4 + 4^(4^4 + 4) + 4^1 + 2*4^2 + 2*4^1 - 1 ≈ 3.486030062 x 10^156
自分が上の定義を見たとき「要するに1と0以外の数字を全部一つ大きな数字に書き換えればいいんだな」って解釈したんだけど。
そうするとG2(100)の 4^1 + 2*4^2 + 2*4^1 - 1の部分について3^0 + 3^3 - 1 の書き換えになってないじゃんってなって詰まったわけね。
んでここでなるべく水平的に考えてみると3^(3^3 + 3) + 3^3 + 3^(3^3 + 3) + 3^0 + 3^3 - 1っていうのは帰納的表示から1引いた数であって、書き換えるべき対象である、数の帰納的表示そのものではないってことなんだって気づいた。
本来は定義を通読しただけで普通に読み取れる情報なんだろうか？そうだとしたら読み取れなかった俺も帰納的非識字ってことになるな！
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251202184854# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaS62BwAKCRBwMdsubs4+ SIreAP0Zib+YEEMCIQCa7qyvgxPWFKwasFzmyzE4X1s2VvQ/KQEAnVVo+54/NGcL 9XTR31Iz4X1P1pZyhdnlth7P0qNQNAA= =Hr9i -----END PGP SIGNATURE-----
プログラムのアルゴリズムの解説見ても間違って解釈する傾向があり得ることになるわけだ。 dorawiiより
11
