ゲーデルと数学の近代 サイトのパーツが連動してきた！ ヒルベルト数学ノートブック研究のページに、物理学ノートの画像、翻刻、和訳を追加。"beschribe die ganze Erscheinungenfülle" の自然な和訳が難しい…。辞書に従って単純に訳せばFülle は「豊穣」だろう... 2022.02.16 ゲーデルと数学の近代
日々の記録 1982年の日本 最近書いた文章のために、この所、いささか呆然としている。 その文章というのは、丁度、40年前の1982年に発足した当時の通商産業省による第五世代コンピュータプロジェクト（以下、「第五」と書く）を技術史の観点から書いたもの。歴史関係の... 2022.02.14 日々の記録
ゲーデルと数学の近代 