日々の記録 ホーキングと不完全性定理：文系の読み方・理系の読み方
6月16日の投稿でスェーデンの論理学・情報学者だったトルケル・フランセーン（癌で亡くなったそうだ）が、物理学者ホーキングの「ゲーデルと物理学の終焉」の内容を誤解していると書いたが(2021年7月9日に訂正をいれた。誤解しているのでなくて、...
susumu
日々の記録 
ゲーデルと数学の近代 翻訳を追加
「ゲーデルの歴史観」に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日に西田・田辺記念講演（田辺分）を行った。そのスライドショーを公開開始。かなり歴史寄りなので、質問がでるかどうか疑問だったが、良い質問ばかり幾つか頂けたので、それを反映してスライドショーを作成した。
内容は、...
ゲーデルと数学の近代 ゲーデルの歴史観のページ公開
ゲーデルの歴史観のページ公開
ゲーデルと数学の近代 ヒルベルト数学ノート論文公表へ
ヒルベルト研究を公開することにした話と、それに関連するエッセイ。
ゲーデルと数学の近代 不完全性定理の解説 初級編の試験公開を開始
ようやく不完全性定理の解説の初級編を書き終えた。こちらで試験公開中。予定より2週間ほど遅れてしまった。ただ、歴史的経緯とか、このサイトで一番書きたいことの要約を書けた。
暫くは来月第1土曜日の西田田辺講演の準備に専念しなくて...
日々の記録 shayashi.jp 保管庫を作成
昨日、www.shayashi.jp ドメインの更新手続きを促すメールが到着した。手続きをとらないと、早くて6月1日に廃止になる。このドメインは廃止する予定なので、そのままにしておくが、それまでに内容を精査して、現在のサイトに移動しておく...