【研究分野】数学一般(含確率論・統計数学)

【研究領域課題番号】20340020 (KAKENデータベースで見る）

【研究キーワード】

数学基礎論 / 証明の長さ / 集合論の証明論 / 証明論 / 集合論

【研究成果の概要】

主として集合論の公理系を証明論的に研究した。集合論は数学がよっ て立つ基盤であり、そこでの証明を何回、どのような操作を繰り返して分析できるのかを考察 した。集合の公理とは集合に関して正しいと現在考えられている命題の集まりを指す。証明は 集合論に限らず、数学では欠くことのできない行為である。そのような数学での基礎的な対象 について知見を深めた。

【研究種目】基盤研究(B)

【研究期間】2008 - 2012

【配分額】9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)