今後の日程について

1. １月14日・21日 古典論理の完全性定理
2. エクストラ授業：ゲーデルの不完全性定理（１コマ〜２コマ）：今回は、授業としてではなく、CAPEセミナーとして、一般向け公開講座という形で行うこととなりました。前期の補講と同じく、本授業受講者の都合の良い日に合わせて行いたいと思います。以下が候補日です。
   • 1月26日（日）
   • 2月8日（土）
   • 2月9日（日）
   • 2月15日（土）
   • 2月16日（日）