>>166 補足

下記補足「本講義では、当分野における古典的な成果であるゲーデルの不完全性定理とその周辺について概説する。それが示唆するのは数学の本質的な限界であると同時に開かれた可能性であり、確固たる土台の非存在であると同時に諸理論が織りなす空間の豊饒さである。」
http://www.kurims.kyoto-u.ac.jp/kouza/
数学入門公開講座 京都大学 数理解析研究所
http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/terui.pdf
『数学』を数学的に考える 　照井 一成 2009年7月30日
(抜粋)
数学にはいったい何ができて何ができないのだろうか。その可能性と限界を知りたい。そのために数学者の行う活動（定理を証明したり、反例を考案したり）を数学的に分析するのがメタ数学、ないしは数学基礎論と呼ばれる分野である。
本講義では、当分野における古典的な成果であるゲーデルの不完全性定理とその周辺について概説する。それが示唆するのは数学の本質的な限界であると同時に開かれた可能性であり、確固たる土台の非存在であると同時に諸理論が織りなす空間の豊饒さである。
方針としては算術階層に重点をおき、不完全性やさまざまな決定不能問題をその中に位置づけていく形で、統一的な解説を行う予定である。

つづく