ゲーデルと数学の近代 ヒルベルト数学ノートがカラー高精細で公開 ヒルベルトの数学ノートの画像や翻刻・翻訳の追加の許可をゲッチンゲン図書館に申し出たら、元の史料のカラー高精細での公開が始まっていることを教えられた。 マイクロ・フィルムを紙に焼いたものでは、よごれとインクのドットの区別がつかず、誤読... 2022.03.06 ゲーデルと数学の近代
ゲーデルと数学の近代 サイトのパーツが連動してきた! ヒルベルト数学ノートブック研究のページに、物理学ノートの画像、翻刻、和訳を追加。"beschribe die ganze Erscheinungenfülle" の自然な和訳が難しい…。辞書に従って単純に訳せばFülle は「豊穣」だろう... 2022.02.16 ゲーデルと数学の近代
ゲーデルと数学の近代 クロネッカの謎 クロネッカを「ゲーデル史観」で、どういう位置に置くか、とりあえずヒルベルト数学ノートブックに書くために、色々と調べて、クロネッカについての考えが少し変わった。 兎に角、この人、分かりにくい。また、史料がない。 で、それを記録。... 2022.01.26 ゲーデルと数学の近代
ゲーデルと数学の近代 ヒルベルト数学ノート研究のページを更新:ヒルベルトとクロネッカ ブログの更新が5カ月ぶり位になった。 この間色々なことがあったのだが、「ゲーデルと数学の近代」について言えば、ヒルベルト数学ノート研究の内、簡単に済むと思っていた「無理数ノート」が案外難物だったことが大きい。 ヒルベルトの手書... 2022.01.16 ゲーデルと数学の近代
ゲーデルと数学の近代 不完全性定理の解説 初級編を公式公開 不完全性定理の解説初級編を公式公開。本当は20日前位に公開できたのだがノンビリしてしまった。仕事ではないので、当然と言えば当然。 ブログも気が付いたら1か月半位も書いてなかった。暑かったので家事以外はあまりする気が無くて、その家事も... 2021.08.21 ゲーデルと数学の近代
ゲーデルと数学の近代 翻訳を追加 「ゲーデルの歴史観」に1960?年の Vortrag, Konzept の翻訳を追加。これで6頁半ある文章の3頁程度が翻訳できた。一か所、全集の編集の方法からすると、ゲーデル自身の「補足」である部分の意味が取れず難渋した。アイキャッチ画像の... 2021.06.28 ゲーデルと数学の近代日々の記録
ゲーデルと数学の近代 久しぶりにSMART-GSを使ってHilbert math. notebooks研究 本当に久しぶりにSMART-GSを使ってHilbert mathematical notebooksを分析。 カント哲学ノート2の中の誤記だと思っていた als als が also als の書き間違いなのではないかという気がしてきたので... 2021.06.23 ゲーデルと数学の近代
ゲーデルと数学の近代 ヒルベルトの数学ノートの研究のページを公開開始 ヒルベルトの数学ノート研究の英文論文(未発表)の和訳を開始して導入部と文献学的注意(付録的ページ)、そして、カント哲学の関する三つのノートの画像、翻刻、和訳、分析の節まで和訳して公開。 もう10数年も前に書いた論文なので、和訳してい... 2021.06.18 ゲーデルと数学の近代
ゲーデルと数学の近代 数学セミナーの記事公開など 2021年7月9日に訂正を入れた。[訂正]で始まり[訂正終]で終わる部分。 数学セミナー2021年1月号の記事の公開を開始。こちら。 この記事と「不完全性定理入門 数学編:数式をなるべく使わない説明 初級編」で使ったホーキング... 2021.06.16 ゲーデルと数学の近代