友達が、ゲーデルの不完全性定理について、むかし、教えてくれたこと。
不完全性定理ってさあ、要するに、メタ数学が、無限階層、存在するってことさ。
これ以上、簡潔で的を得た説明を、きいたことがない。すばらしい。
さて、メタって言葉。情報の関係者なら、メタデータって知っているはず。データのデータはメタデータっておまじないのように覚えているかもしれないが。そのメタとおんなじで、メタ数学である。数学を定義するための数学といったところか。
メタの構造は無限の階層で存在する。
そういうことも言えるのだろうかねえ。
