HOME > 組織 > 哲学・文化人類学班 > 秋吉 亮太

秋吉 亮太

■所属・職名
慶應義塾大学文学研究科(CARLS)・特任助教


■研究内容
専門は数学の哲学及び証明論を中心とした論理学です。現代の数学の哲学は20世紀初頭に起こったいわゆる数学基礎論以来始まったのですが、当時は哲学的議論と現代論理学の数学的発展が並行していました。現在では各々専門化が進んだこともありそれぞれ比較的独立に研究されていますが、僕は現代論理学(特に証明論)への寄与をすると同時に数学の哲学をより現代的文脈で研究してきました。特に(i) ゲーデルの不完全性定理とヒルベルト・プログラムの関係、(ii) 直観主義論理の論理定項の意味(タイプ理論)、(iii) 二階算術の非可術な体系の証明論(特にカット消去定理)を哲学・論理学の両面から研究しています。


■学歴
1999年4 月 - 2003年3月:慶應義塾大学文学部人文社会学科(哲学専攻)
2003年4月 - 2005年3月:同大学院文学研究科修士課程(哲学・倫理学専攻)
2005年4月 - 2010年3月:慶應義塾大学大学院文学研究科後期博士課程(哲学・倫理学専攻)
2010年3月 哲学博士取得


■受賞歴
2008年度科学基礎論学会奨励賞受賞


■学術論文

Ryota Akiyoshi, "Tait's Conservative Extension Theorem Revisited", to appear in The Journal of Symbolic Logic.

Ryota Akiyoshi and Grigori Mints, "An Ordinal-Free Proof of the Cutelimination Theorem for Π11 -CA with ω-rule" (abstract), to appear in The Bulletin of Symbolic Logic.

Ryota Akiyoshi and Grigori Mints, "An Ordinal-Free Proof of the Cutelimination Theorem for an Impredicative Subsystem of Π11-CA with ω-rule", arXiv, http://arxiv.org/abs/0904.4742.

Ryota Akiyoshi, "On a Relationship between Godel's Second Incompleteness Theorem and Hilbert's Program", Annals of the Japan Association for Philosophy of Science, Vol. 17 pp.13-29, 2009.

Ryota Akiyoshi, "An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of Π11 -Analysis with ω-rule", 『数理解析研究所講究録』, No.1635, 1-13 頁, 2009 年.


■学会発表

Invited Talk: "An ordinal-free proof of cut-elimination theorem for Π11-analysis with ω-rule", Mathematical Logic Seminar, Stanford University, November 2008.

Invited Talk: "An ordinal-free proof of the cut-elimination theorem for Π11-analysis withω-rule", Seminar in Logic and Philosophy of Mathematics, Kobe University, February 2009.

"An Ordinal-Free Proof of the Cut-Elimination Theorem for Π11-CA withω-rule" (with G. Mints), Eleventh Asian Logic Conference, June 2009.

「テイトの保存拡大定理について」, 第40 回日本科学哲学会, 中央大学, 2007年11月.

「第二不完全性定理とヒルベルト・プログラム」, 2007年度科学基礎論学会, 鳥取大学, 2007年6月