>>552
マジか。いつになるか分からんけど、気が向いたら書くわ。
>>553
とりあえず3^3^3^3=3^(3^(3^3))=3^(3^27)=3^7625597484987でもう3638334640024桁になり、3^3^3^3^3で「桁数が」3兆桁を超える数になるから、その見積りは小さすぎる。
あと、巨大数が無意味ってのは同意するが、俺が巨大数を知る過程で出会った論理学、証明論、集合論その他の知識は興味深いものだったぞ。
自動定理証明とかプログラム検証の話なら現実に役に立っているしな。
まあ数学界で圧倒的な応用先をもつ線形代数、解析学、統計学に比べたら実用性のない分野なのは否定できないがな。実用を気にするならこっち勉強したほうがいい。