新井敏康(あらい としやす)は、
1958年に日本の
東京都で生まれた
数学者および
論理学者です。主に
数学基礎論の分野で研究活動を展開し、長年にわたり日本の高等教育機関で教鞭を執りました。現在は、
東京大学と
千葉大学の両方において名誉教授の称号を有しています。新井敏康氏は、
国立情報学研究所で教授を務める新井紀子氏を妻に持ちます。
新井氏の学歴は、まず
東京大学教養学部基礎科学科を卒業したことに始まります。その後、さらに学術研究を深めるため、
筑波大学大学院の数学系博士課程へと進学し、そこで理学博士の学位を取得しました。
大学教員としてのキャリアは、
1987年から
1991年まで、
名古屋大学理学部の数学科にて助手として勤務したことから本格的にスタートします。その後、
1991年から
2001年までの10年間は、
広島大学の総合科学部において助教授の職にありました。
2001年には
神戸大学へ移籍し、
2007年まで大学院自然科学研究科の教授として研究と教育に貢献しました。さらに
2008年から
2009年にかけては、
神戸大学大学院工学研究科の教授も務めています。
神戸大学を離れた後、
2009年から
2017年まで、
千葉大学大学院理学研究科の教授として勤務しました。
2017年からは、同大学院理学研究院の教授となり、
2019年まで
千葉大学での活動を続けました。これらの大学での長年の教育・研究への貢献が認められ、
千葉大学より名誉教授の称号を授与されています。そして、
2019年からは日本の数学研究の中枢である
東京大学大学院数理科学研究科の教授に就任し、2024年までその職を務めました。
東京大学からも名誉教授の称号が贈られています。
新井氏の専門分野である
数学基礎論は、数学の根幹をなす基盤的な理論を研究する学問領域です。特に、
集合論、順序数、証明論、
数理論理学といった分野と密接に関連しており、新井氏の研究もこれらの領域を中心に行われました。
研究成果は多くの著作として発表されています。専門書としては、『
数学基礎論』(岩波書店、その後東京図書より増補版が出版)、『集合・論理と位相』(東京図書)といった日本語の書籍があります。また、英語による専門書として "Ordinal Analysis with an Introduction to Proof Theory" を国際的な学術出版社であるSpringerから刊行しています。さらに、一般読者向けに専門分野の一端を紹介する試みとして、妻である新井紀子氏と共著で『計算とは何か』(東京図書)を出版しています。専門書や共著の他に、学術誌や専門誌への寄稿もあり、例えば『現代思想』の特集号に「ゲーデルの無矛盾性証明」という記事を寄稿しています。
このように、新井敏康氏は
数学者、
論理学者として、日本の
数学基礎論における研究と教育の発展に大きく貢献してきました。多様な大学での教育活動や、国内外での専門書、一般書を含む著作活動を通じて、幅広い層にその業績を知られています。