質問: 数学基礎論の質問 いま大学生で、数学基礎論に興味があるのですが、自分が通っている大学に数学基礎論の分野の人がいなくて疑問が解消できず困っています。 そこで論理学と結び付きが強い情報系の准教授がいるのですが、その人に数学基礎論についてや、ゲーデルの不完全性定理について質問したいのですが、この分野の先生に聞いても大丈夫なのでしょうか。 よろしくお願いします。
回答: 心配してないで訊いてみりゃいいです。情報系の論理学の要は自動証明。不完全だけれども速い線形入力推論や、のろいけど完全な導出原理など、ま、少なくとも「証明可能」だとか「決定不能」の概念は、学生でも分かってなきゃおかしい。だから、(論理ではなく数学の話だけれども)、不完全性定理や標準的なzf公理系の話程度のことなら案外すらすら教えてくれるんじゃないかな。もし分かんなくても、別に訊いて失礼に当たるわけでもなく、むしろ自発的に勉強しようという学生は大歓迎のはず。適当なひとや教科書を紹介して貰えるかも。