新井敏康
新井 敏康（あらい としやす、1958年 - ）は、日本の数学者・論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論[1]。国立情報学研究所教授の新井紀子は妻[2]。
| 生誕 | 1958年 |
|---|---|
| 研究分野 | 数学基礎論[1] |
| 研究機関 | 名古屋大学、広島大学、神戸大学、千葉大学、東京大学[1] |
| 出身校 | 筑波大学数学系大学院博士課程修了。[1] |
| 主な受賞歴 | 日本数学会秋季賞（2004年）[1] |
| プロジェクト:人物伝 | |
略歴
- 1958年（昭和33年）- 東京都生まれ。
- 東京大学教養学部基礎科学科卒。
- 筑波大学数学系大学院博士課程修了。
- 1987年（昭和62年）- 1991年（平成3年） - 名古屋大学理学部数学科助手。
- 1991年（平成3年）- 2001年（平成13年） - 広島大学総合科学部助教授。
- 2001年（平成13年）- 2007年（平成19年） - 神戸大学大学院自然科学研究科教授。
- 2008年（平成20年）- 2009年（平成21年） - 神戸大学大学院工学研究科教授。
- 2009年（平成21年）- 2017年（平成29年） - 千葉大学大学院理学研究科教授。
- 2017年（平成29年）- 2019年（平成31年） - 千葉大学大学院理学研究院教授。
- 2019年（平成31年）- 東京大学大学院数理科学研究科教授。
著作
図書
記事
- 新井敏康「ゲーデルの無矛盾性証明」『現代思想 2007年2月臨時増刊号（総特集 ゲーデル）』第35巻第3号、青土社、2007年3月、82-93頁、ISBN 978-4-7917-1160-4。
脚注
- Researchmap
- 国立情報学研究所情報社会相関研究系教授新井紀子氏『HQ』Vol.19
- PDFの正誤表が公開されている。“「数学基礎論」正誤表”. 科学技術振興機構. 2013年4月26日閲覧。
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.