日々の記録

ホーキングと不完全性定理:文系の読み方・理系の読み方

6月16日の投稿でスェーデンの論理学・情報学者だったトルケル・フランセーン(癌で亡くなったそうだ)が、物理学者ホーキングの「ゲーデルと物理学の終焉」の内容を誤解していると書いたが(2021年7月9日に訂正をいれた。誤解しているのでなくて、...
ゲーデルと数学の近代

翻訳を追加

「ゲーデルの歴史観」に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日に廃止になる。このドメインは廃止する予定なので、そのままにしておくが、それまでに内容を精査して、現在のサイトに移動しておく...
タイトルとURLをコピーしました