＜講演内容＞
本年６月に行なった数学基礎論の入門講義に引き続き，今回はゲーデルの不 完全性定理に焦点を当て，現代的な視点から掘り下げて解説する．ゲーデル の定理はどこまで自己言及的か？ 本質的決定不能性と証明の加速性など， ゲーデル以降の不完全性定理の深化のポイントを概観する．
問合せ先： 東京工業大学情報理工学研究科 鹿島亮 kashima @ is.titech.ac.jp
講演会のお知らせ
ゲーデルの不完全性定理
- 数学基礎論入門 -
講師： 東北大学大学院理学研究科数学専攻
田 中 一 之 教授
日時： 2009 年 10 月 31 日（土）15 時∼16 時
場所：
東京工業大学大岡山キャンパス西８号館 E 棟 10 階 情報理工学研究科 大会議室 参加費無料 どなたでも聴講できます．
◎ 初めての方も気軽にご参加ください．
＜講師略歴＞
1955 年生．カリフォル ニ ア 大 学 バ ー ク レ ー 校Ph.D.東京工業大学 理 学 部 助 手 な ど を 経 て，1997 年より現職． 数 学 基 礎 論 関 係 の 著 書・論文多数．
