[Discovery Saga Top]
[Saga Next]
[無料公開版Discovery Saga]
[Discovery Sagaプレミアムご案内]
[早稲田大学研究Discovery Saga]
[産学連携のご案内]
[Saga Concept]
[会社概要]
[お問い合わせ]
Dis
cov
er
y
Sa
ga
詳細表示
研究者リスト表示
ダウンロード(UTF-8 txt)
証明論Saga
証明論
に関するサイレントキーワード
集合論の証明論
が含まれる科研費採択研究1件
証明論
に関するサイレントキーワード
集合論の証明論
が含まれる科研費採択研究 1件
集合論の
証明論
的研究
【研究分野】数学一般(含確率論・統計数学)
【研究領域課題番号】
20340020 (KAKENデータベースで見る)
【研究キーワード】
数学基礎論 / 証明の長さ / 集合論の
証明論
/
証明論
/ 集合論
【研究成果の概要】
主として集合論の公理系を
証明論
的に研究した。集合論は数学がよっ て立つ基盤であり、そこでの証明を何回、どのような操作を繰り返して分析できるのかを考察 した。集合の公理とは集合に関して正しいと現在考えられている命題の集まりを指す。証明は 集合論に限らず、数学では欠くことのできない行為である。そのような数学での基礎的な対象 について知見を深めた。
【研究代表者】
新井 敏康 千葉大学 大学院・理学研究科 教授
(Kakenデータベース)
【研究種目】基盤研究(B)
【研究期間】2008 - 2012
【配分額】9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)