20021224　ゲーデル数

　日常生活で使う大きな数はせいぜい「億」ぐらいまでだろう。あの屋敷は数億円ぐらいしたらしいとか、宝くじの一等は一億円だとかぐらいである。その上の「兆」や「京」は使わない。 「おっ、その腕時計格好いいな、高かったろう。いくらだった」 「五兆円」 といった冗談は言わない。余りにも大きな数$${^{*1}}$$は数えることがほぼ不可能になるので通常は使わない。 　大きな数は通常では想像できないような非常に沢山の量を表す場合に使える。宇宙に存在する原子の数はどれくらいか、と言わ