数学基礎論を語る:数学の基礎としての数学基礎論から、現代の数学基礎論まで

2023.11.06 (月)

数学基礎論を語る:数学の基礎としての数学基礎論から、現代の数学基礎論まで

名前、所属

Alwe
某大の理学部生

研究テーマ

数理論理学全般について研究しています。数理論理学は主に数学における形式化された論理について研究、あるいは論理に関する知見を用いて他の数学的対象の研究に応用する分野です。

お客さんへのメッセージ

今回は数学基礎論に関する歴史についてまず話すつもりでいます。そしてその数学基礎論がどういう変遷を経て、現代ではどのように扱われているのか、ということについて話そうと思います。数学基礎論はその歴史、あるいは分野の特性か、誤解や偏見を持たれることが多いのですが、現代の数学基礎論がどのような分野であるかを分かっていただけると幸いです。