2009-08-04から1日間の記事一覧

高木貞治と数学基礎論

田中一之「ゲーデル・4つの謎」という文章に次のようにある。