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