数学のたのしみ - kururu_goedel’s diary

えーと。発行が去年の11月で既に日本評論社のページを見ると在庫僅少とか言われちゃうんですが。 数学のたのしみ〈2006秋〉フォーラム 現代数学のひろがり ゲーデルと現代ロジック 作者: 上野健爾,新井仁之,砂田利一出版社/メーカー: 日本評論社発売日: 2006/11メディア: 単行本購入: 2人 クリック: 11回この商品を含むブログ (3件) を見る 渕野先生の記事は草稿を読ませていただいたのですが、とても良い文章だと思いますので興味のある方は是非。…既に興味ある人は読んでいる＋在庫僅少ですが(爆)。 一つ気になったのが、こんな記述があったこと。 筆者の解釈が間違っていなければ，新井は[3] や彼の最近の講演などで，現在の証明論の研究と数学の基礎付けとの関連を不要に強調すべきでない，というようにとれる発言をしている．これは，現代の証明論が，数学の基礎付けとの関連をはなれても十分に存在意