>>45
ダウトじゃない。その巨大数を出力する関数がもつ階層が本質的にtransfinitな情報を持ってる。巨大なtransfinitな順序数を表現するために巨大基数を必要とするのとおなじ。

哲学的文学的という言葉が出てきてうれしい。そんなものを安達さんが正しいとしていることがおかしいことに気がついて欲しい。なぜ数学板にそんな背景を許すような議論を持ち込んだのかを。

そして安達さんが自分よりも現実主義的でない状況はまことに面白い。とはいえ安達さんの論は自分の論を含んでいることはおそらく事実だ。

あと今までの話は演技して書いている。心配してくれなくても大丈夫。