タグ

逆数学とlogicに関するkgbuのブックマーク (1)

  • 数学基礎論の考え方・学び方 ヒビルテ(2009-06-06)

    日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 λ. 数学基礎論の考え方・学び方 講師 田中 一之 (東北大学大学院理学研究科数学専攻教授) 題目 数学基礎論の考え方・学び方 内容 ゲーデル以降,数学基礎論は何をしてきたか? この講演では,論理,ゲーム,超限帰納法,不完全性などの基概念を軸にして,数学基礎論の深化発展を振り返り,さらに最近の研究動向の例として私と仲間たちの研究も紹介する. ポスター これを聞きに行ってきた。 メモ 書きかけ。 数学基礎論とは何か? 欧米ではロジックという呼び方が普及している。そのなかで数学の基礎を研究している人がいる。 現代論理学の始まりは不完全性定理を発見したとき。 1930年9月5

    kgbu
    kgbu 2009/06/15
    非専門家向けの講演のメモ、ありがたい。「数学基礎論というと基礎付けるということに重点が置かれてしまうが、それが中心的テーマだったのはデーデル以前。ゲーデル以降はむしろ考え方を反対にしている」へー
  • 1