廣瀬健

廣瀬 健書籍等では「広瀬」あるいは「廣瀬」と記されていることが多いが、戸籍上の本名は「廣瀨」と記すのが正しい。（ひろせ けん、1935年10月22日『現代物故者事典1991～1993』（日外アソシエーツ、1994年）p.504 - 1993年8月16日）は、日本の数学者・計算機科学者。専門は数学基礎論。元早稲田大学理工学部教授。

 略歴 
大分県出身。立教大学理学部数学科卒業。立教大学大学院理学研究科数学専攻に進学して赤攝也ゼミに所属。その後、東京教育大学助手、講師を経て、1970年早稲田大学理工学部数学科助教授、1977年早稲田大学理工学部教授。

子に、高圧地球科学者の廣瀬敬がいる。

 業績 
1973年にヒルベルトの23の問題の第10問題（ディオファントス方程式の可解性の決定問題）を部分的に解決したが、廣瀬とは独立にユーリ・マチャセビッチによる証明が先に公表されたため、最初の証明者とはならなかった。

また、大学生時代からプログラム制作に関わり、新世代コンピュータ技術開発機構（ICOT）では第五世代コンピュータの開発に助言を行なう。その後、早稲田大学理工学部情報学科の立ち上げに関わった。

 主な著書 
 単著 

 共著・編著・共編著 

「紀華彦」は共著者3人の共同変名、3人の筆者 N・H・K の H 。N は西村恕彦、K は木村泉。出典: ソフトウェア工学を推進した木村泉君を悼む『情報処理』61巻5号、pp. 494-499（2020年）

 翻訳 

 脚注 

 外部リンク 


Category:20世紀日本の数学者
Category:数学に関する記事
Category:日本のコンピュータ関連人物
Category:日本の論理学者
Category:早稲田大学の教員
Category:東京教育大学の教員
Category:立教大学出身の人物
Category:大分県出身の人物
Category:1935年生
Category:1993年没