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

学びカテゴリーの変更を依頼記事元:

kururu.hatenablog.com

1 userがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

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

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

ブックマークしたユーザー

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 学び

いま人気の記事 - 学びをもっと読む

新着記事 - 学び

新着記事 - 学びをもっと読む

設定を変更しましたx