読書の秋

2025年10月26日

ようやく気温も下がり、秋が深まってきましたね。

秋といえば、読書の秋。秋の夜長を書物で埋める……なんて知的で文化的な時間でありましょうか。

私ワタナベも、たまには書籍を読もうと、不完全性定理について記した本を読むことにしました。

かのゲーデルが証明した、有限の立場（形式主義）では自然数論の無矛盾性の証明が成立しないことを示すという定理ですね。たいへん興味深く、私もこの本を読むようになってから夜もグッスリ熟睡できるようになりました（完）