数学基礎論の研究について
数学基礎論の研究について
数学基礎論に興味が有ります。
数学基礎論の分野では現在、どのような研究が行われているのでしょうか？
自分で調べたところ、この分野は研究室も少なく、不完全性定理等によってもう「終わった」とも言われているようです。
ですがそれでもこの分野に興味があるので、どのような研究をしているか気になります。
また、自分は情報工学を現在専攻してますので、情報工学(計算機科学)との関連も気になります。Wikipediaには「計算機科学の基礎と発展に大きく寄与した」とありますが、具体的にどのようなことでしょうか？
まとめますと、今どのような研究がなされているか、計算機科学との関連、について教えて欲しいです。
よろしくお願いします。
