経営学専攻 教員・研究紹介
宮元 忠敏 教授(講義担当者【博士前期】)
職名 | 教授(講義担当者【博士前期】) |
---|---|
専攻分野 | 公理的集合論 |
研究テーマ〔長期〕 | Forcing and Large Cardinals |
研究テーマ〔短期〕 | Iterated Forcing and Infinitary Combinatorics |
担当科目 | 経営数学<博前> |
研究情報詳細 | 公理的集合論の集合論的宇宙の多様性を研究しています。数学的真理には、集合論的宇宙に依存し変化するものが存在します。たとえば、素数が無数存在することは集合論的宇宙によらず共通の真理ですが、実数全体の大きさは集合論的宇宙に依存し変化します。数学的真理のうち、このように相対的に変化するものを研究しています。可能なかぎりうまく集合論的宇宙をコントロールしたいわけです。そうすることにより、当該の命題が、証明可能なものかどうか、また、他の命題とのかかわりを決定したいわけです。しかし、無限基数の組合せ論的性質には、不明なことの方が多い。 |