更新情報
- 2023年3月16日:その他のページを更新。
- 2023年3月15日:Wikipedia の林晋の記事の修正を受けて、林晋(八杉晋)の経歴と研究業績を更新。
- 2023年2月23日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を更新。1925年の集合論の論文で、フォン・ノイマンが既にゲーデル数と同じ方式が有限関数をコードしているページへのリンクを追加。前から追加しようと思っていたのだが、中級編執筆中に文字と文字列の違い言及したついでで追加した。
- 2023年1月14日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を更新。ただし、リンクを二つ追加しただけ。
- 2022年10月14日:「ゲーデルと数学の近代」のページの update。Kronecker についての項目を詳細化。
- 2022年9月30日:その他のページを全面的に書き変えて、文系時代に公開した主な研究業績を説明付きで掲載した。そして、それを利用して旧林晋サイト保管庫の経歴と業績のページ(旧名称:経歴と古い論文や講演の記録)を完全に書き直した。また、こちらからもリンクした。
- 2022年7月25日:その他のページを更新。2021年度西田・田辺記念講演会の PPT スライドショーに説明を追加した。
- 2022年5月28日:ヒルベルトの数学ノート研究のページを更新。MathJax を使い数式の見栄えを良くした。内容は変更無し。
- 2022年5月26日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 を更新。MathJax を使い数式の見栄えを良くしたのと、文章の改善。内容は以前とほぼ同じ。
- 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日:不完全性定理入門 数学編 数式をなるべく使わない説明 初級編 試験公開開始