07/09/05 23:06:50
「なにをもってシンプルか」という解のひとつが、
>>260 でしょう。
>>281 でアップしたものをもう一度アップしておきます。
URLﾘﾝｸ(1rg.org)
ついでに、定義自体に順序数を使わない大きな関数です。
概念的には順序数＋Hardy関数ですが、
順序数を知らなくても、頑張れば理解できるかも。
URLﾘﾝｸ(1rg.org)
07/09/05 23:06:50
「なにをもってシンプルか」という解のひとつが、
>>260 でしょう。
>>281 でアップしたものをもう一度アップしておきます。
URLﾘﾝｸ(1rg.org)
ついでに、定義自体に順序数を使わない大きな関数です。
概念的には順序数＋Hardy関数ですが、
順序数を知らなくても、頑張れば理解できるかも。
URLﾘﾝｸ(1rg.org)