ゲーデルと数学の近代

ヒルベルト研究を公開することにした話と、それに関連するエッセイ。

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

不完全性定理の数式をなるべく使わない入門を作成中。

「論理学の歴史：アリストテレス論理学入門を兼ねて」を公開した。概要と講義資料がその内容。

「ゲーデルと数学の近代」のトップページを公開した。サイトの概要と「目次」がその内容。