更新情報
- 2022年5月12日:ヒルベルトの数学ノート研究のページの文献学的ノートを更新。
- 2022年3月23日:「ゲーデルと数学の近代」のページの update。不完全性定理入門の目次案の変更が、その内容。
- 2022年3月19日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を更新。「形式的理論」を「形式理論」と言い換えただけ。中級編執筆に向けての見直しの一環。
- 2022年3月13日:ヒルベルトの数学ノート研究のページを更新。前回のバージョンに大きな問題が発見されたため、とりあえずそれを削除するための更新。
- 2022年3月6日:ヒルベルトの数学ノート研究のページを更新。
- 2022年2月14日:ヒルベルトの数学ノート研究のページを更新。
- 2022年2月14日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を更新。
- 2022年2月12日:ヒルベルトの数学ノート研究のページを更新。
- 2022年1月18日:ヒルベルトの数学ノート研究のページを更新。
- 2022年1月17日:ヒルベルトの数学ノート研究のページを更新。
- 2022年1月16日:ヒルベルトの数学ノート研究のページを更新。
- 2022年1月11日:ヒルベルトの数学ノート研究のページを更新。
- 2021年12月25日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を変更。10月に変更したがサイトに upload するのを忘れていた。
- 2021年12月25日:2021年度の西田田辺講演のスライドショーを「その他」に移動。
- 2021年8月21日:ゲーデルの歴史観に翻訳を追加。
- 2021年6月28日:ゲーデルの歴史観に翻訳を追加。
- 2021年6月28日:ゲーデルの歴史観に翻訳を追加。
- 2021年6月23日:ヒルベルトの数学ノート研究のページと、そのサブページの文献学的リマークのページを変更。。
- 2021年6月18日:ヒルベルトの数学ノート研究のページを公開。
- 2021年6月16日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を変更。数学セミナーの記事「数学基礎論 知の階層」を公開。
- 2021年6月9日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を変更。
- 2021年6月7日:西田・田辺記念講演のPowerPointファイルをスライドショーにして公開。
- 2021年5月31日:ゲーデルの歴史観に1961年の講演原稿の訳を公開。西田・田辺記念講演で必要な部分だけの部分訳。
- 2021年5月27日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を変更。
- 2021年5月26日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を変更。style.css が古いものでちゃんと表示されてなかった不具合も fix。
- 2021年5月23日:このページを追加。トップページを変更。
- 2021年5月17日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 試験公開開始