汎用データベース
筑波大学数学談話会
日時 | 2018/11/29 (15:30--17:00) (15:00より談話室にてtea time) |
---|---|
場所 | 自然系学系D棟509 |
講演者 | 薄葉 季路氏 (早稲田大学基幹理工学部) |
講演題目 | 数学基礎論と位相空間論のコンパクト |
概要 |
位相空間のコンパクト性「任意の開被覆は有限被覆を持つ」は 位相空間論のみでなく数学の最重要概念の一つであるが、 数学基礎論におけるコンパクト性「任意の有限部分理論がモデルを持つならば その理論はモデルをもつ」もまた数学基礎論における最重要概念の一つであり、 位相空間のコンパクト性と密接な関係がある。 本講演ではそれらのコンパクト性の間のつながり、 及びより一般的なコンパクト性に関しての話題について紹介する。 |