有名人ナビ トップページ
人物データベース×観光資源
廣

廣瀬健

ひろせ けん
Wiki ↗

廣瀬 健(ひろせ けん、1935年10月22日 - 1993年8月16日)は、日本の数学者・計算機科学者。専門は数学基礎論。元早稲田大学理工学部教授。 大分県出身。立教大学理学部数学科卒業。立教大学大学院理学研究科数学専攻に進学して赤攝也ゼミに所属。その後、東京教育大学助手、講師を経て、1970年早稲田大学理工学部数学科助教授、1977年早稲田大学理工学部教授。 子に、高圧地球科学者の廣瀬敬がいる。 1973年にヒルベルトの23の問題の第10問題(ディオファントス方程式の可解性の決定問題)を部分的に解決したが、廣瀬とは独立にユーリ・マチャセビッチによる証明が先に公表されたため、最初の証明者とはならなかった。

出典:ウィキペディア「廣瀬健」(CC BY-SA 4.0)を一部抜粋