現在2006年2月26日2時44分です。
今日、以前から注文してあった、竹内外史著 proof theory という本が、残念ながらお届けできませんというメールが、アマゾンシーオージェーピーから来た。
あの本には、2階の述語論理の無矛盾性定理というものが証明されていて、それが、実数論の無矛盾性を証明したことになる、と聞いていたので、是非読みたかったのだが、残念である。
まあ、届いていたとしても、読むだけの時間があったかどうかは、疑問だが。こういうときは、良い方向に考えることにしよう。きっと読めなかった本だから、届かなくって良かったのだと。
今日はここまで。
現在2006年2月26日2時56分です。おしまい。