横山啓太

読みヨコヤマケイタ

横山 啓太(よこやま けいた)は、日本の数学者。東北大学大学院理学研究科教授。専門は数理論理学、数学基礎論。自然数論の基本性質を公理化した証明体系「算術体系」を研究している。大学院博士課程の指導教員は田中一之。

[ ウィキペディアで続きを見る... ]
◆「横山啓太」と同じカテゴリ
◆「横山啓太」の外部リンク