お知らせ院生談話会(2018年度)院生談話会(言わば,院生の院生による院生のための談話会)を開催することになりました。出席者は院生のみにしました。数理論理学(数学基礎論)は、ヒルベルトの第2問題に代表されるような「数学の無矛盾性と完全性」への関心に端を発し、「論理学の手法によって数学に現れる諸概念を分析する」というメタ数学の一つとして生み出された。分析などもなされている。本講演では、メタ数学的手法としての数理論理学、特にモデル理論の概要と数学にもたらす恩恵について紹介する。前半ではまず「公理的手法による抽象化」の現代数学における役割を確認したあと、論理学の手法によって「数学」を公理の集合(公理系)として定義・抽象化する。数理論理学における主要な概念(証明・解釈など)を軽く紹介したあとは、モデル理論の概要について話す。ここでは、数理論理学(より一般にメタ数学)による「数学」の抽象化の恩恵に主眼を置く。続いて後半では、圏論的論理学のモデル理論への応用について話す。圏論的論理学の基本的な考え方である「公理系=圏」「公理系のモデル=Set圏への函手」を紹介する。この見方を通すことで、モデル理論におけるいくつかの基本概念に対して圏論的対応物を得ることができる。これらの対応は、「公理系のなす双圏」とある種の2-圏との間の双圏同値として統一的に理解することができる。最後に、公理系に対する圏論的対応物の一つである「分類トポス」を紹介し、メタ数学の数学への応用の新たな可能性・今後の展望を示す。