新井 敏康

新井 敏康 （あらい としやす）

新井 敏康
職名 教授
所属 数理科学研究科　数学科
メールアドレス


研究分野

数学基礎論

研究テーマ

証明論

研究内容の概要

証明論は数学における証明を対象にしています．その中で主に順序数解析を研究しています．これは公理系に対して順序数を結びつけてその公理系の内部に潜む構造を解き明かそうとする分野です．

キーワード

外部リンク