ゲーデルと数学の近代 不完全性定理の解説 初級編の試験公開を開始 ようやく不完全性定理の解説の初級編を書き終えた。こちらで試験公開中。予定より2週間ほど遅れてしまった。ただ、歴史的経緯とか、このサイトで一番書きたいことの要約を書けた。 暫くは来月第1土曜日の西田田辺講演の準備に専念しなくて... 2021.05.17 ゲーデルと数学の近代