shayashiyasugi.com のメイン「ゲーデルと数学の近代」のトップページを漸く公開。目次を書き始めたらすぐに完成した。全体がしっかり把握できている証拠だ。今まで書けなかったのは、やはり内容に多様性があり過ぎるためだと改めて納得した。
不完全性定理の入門も書くことにしたが、その入門の入門は、今日初校を送った数学セミナー2021年1月号の記事「数学基礎論/知の階層」に基づく予定だが、何時頃から公開させてくれるかな？記事そのものでなくて、それを拡張したものにする予定だが、記事そのものも掲載した方がよいだろうから。
その記事の冒頭に小説家の円城塔さんの短い文章が入る予定らしいが、今の時点ではゲーム関係らしい意味のわからない文章が入っていた。「GOLEMのパラドックス」とは何だ？Googleってもわからない…
