日々の記録 ホーキングと不完全性定理：文系の読み方・理系の読み方
6月16日の投稿でスェーデンの論理学・情報学者だったトルケル・フランセーン（癌で亡くなったそうだ）が、物理学者ホーキングの「ゲーデルと物理学の終焉」の内容を誤解していると書いたが(2021年7月9日に訂正をいれた。誤解しているのでなくて、...
2021-06
日々の記録 
ゲーデルと数学の近代 翻訳を追加
「ゲーデルの歴史観」に1960？年の Vortrag, Konzept の翻訳を追加。これで6頁半ある文章の3頁程度が翻訳できた。一か所、全集の編集の方法からすると、ゲーデル自身の「補足」である部分の意味が取れず難渋した。アイキャッチ画像の...
ゲーデルと数学の近代 久しぶりにSMART-GSを使ってHilbert math. notebooks研究
本当に久しぶりにSMART-GSを使ってHilbert mathematical notebooksを分析。
カント哲学ノート2の中の誤記だと思っていた als als が also als の書き間違いなのではないかという気がしてきたので...
ゲーデルと数学の近代 ヒルベルトの数学ノートの研究のページを公開開始
ヒルベルトの数学ノート研究の英文論文（未発表）の和訳を開始して導入部と文献学的注意（付録的ページ）、そして、カント哲学の関する三つのノートの画像、翻刻、和訳、分析の節まで和訳して公開。
もう10数年も前に書いた論文なので、和訳してい...
ゲーデルと数学の近代 数学セミナーの記事公開など
2021年7月9日に訂正を入れた。［訂正］で始まり［訂正終］で終わる部分。
数学セミナー2021年1月号の記事の公開を開始。こちら。
この記事と「不完全性定理入門 数学編：数式をなるべく使わない説明 初級編」で使ったホーキング...
日々の記録 西田・田辺記念講演 スライドショー公開
2021年6月5日に西田・田辺記念講演（田辺分）を行った。そのスライドショーを公開開始。かなり歴史寄りなので、質問がでるかどうか疑問だったが、良い質問ばかり幾つか頂けたので、それを反映してスライドショーを作成した。
内容は、...