ゲーデルと数学の近代 すでに公開済: 不完全性定理の数式をなるべく使わない入門を作成中
不完全性定理の数式をなるべく使わない入門を作成中。
susumu
ゲーデルと数学の近代 
ゲーデルと数学の近代 「論理学の歴史：アリストテレス論理学入門を兼ねて」を公開
「論理学の歴史：アリストテレス論理学入門を兼ねて」を公開した。概要と講義資料がその内容。
ゲーデルと数学の近代 「ゲーデルと数学の近代」のトップページ公開
「ゲーデルと数学の近代」のトップページを公開した。サイトの概要と「目次」がその内容。
日々の記録 ブライダルヴェール
新しいコンパクトデジタルで小さな花ブライダルヴェールと上空のジャンボジェットを撮影
日々の記録 数学セミナーの記事完成
数学セミナーの不完全性定理の記事最終的に完成した。
日々の記録 原稿完成
数学セミナーから依頼された原稿の第一バージョンが完成。まだ未完。6500文字程度との依頼だったが7000を超え、写真もゲーデル、ヒルベルト、デュ・ボア・レーモンと三つ入れたので分量の相談のためにとりあえず数学セミナー編集部に送った。
...