数理情報学専攻教員紹介, 数理情報学専攻, 自然情報学科, 数理情報系

研究内容

公理的集合論を専門にしています。19世紀の終わり頃、ドイツの数学者カントルは「個数」概念の拡張として、集合の「濃度」の概念を導入しました。二つの集合は、その間に1対1の対応があるとき、等しい「濃度」を持つ、と定義したのです。彼 ...