不完全性定理の解説 初級編の試験公開を開始

不完全定理入門 ゲーデルと数学の近代

ようやく不完全性定理の解説の初級編を書き終えた。こちらで試験公開中。予定より2週間ほど遅れてしまった。ただ、歴史的経緯とか、このサイトで一番書きたいことの要約を書けた。

暫くは来月第1土曜日の西田田辺講演の準備に専念しなくては。

コメント

タイトルとURLをコピーしました