Researchers / Ryota Akiyoshi
- Assistant Professor, Waseda Institute for Advanced Study
The origin of modern philosophy of mathematics goes back to the debate about the foundation of mathematics in the beginning of 20th century. In this debate, mathematicians and philosophers were working on specific mathematical problems for giving a philosophical solution the foundation of mathematics. After this debate, many philosophical works have been done independently of the modern development of mathematical logic. I am working on philosophy of mathematics and proof theory, and both researches are closely interrelated each other. By analyzing finitism and intuitionism by proof-theoretic method, I would like to find a common base for these seemingly different positions in philosophy of mathematics.
Since my research is interdisciplinary, I am collaborating with philosophers,mathematicians, and theoretical computer scientists.
Education and Academic Employment
|1999-2003||Department of Philosophy, Faculty of Letters, Keio University.|
|2003-2005||MA course, Major in Philosophy and Ethics (Philosophy Course), Graduate School of Letters, Keio University.|
|2005-2010||Ph.D Major in Philosophy and Ethics (Philosophy Course), Graduate School of Letters, Keio University.|
|2010-2012||Assistant Professor, Graduate School of Letters (Global COE CARLS), Keio University.|
|2012-2014||Post Doctoral Fellow (PD), Japan Society for the Promotion of Science, Kyoto University.|
Research Fields of Interest
- Philosophy of mathematics and logic
- Mathematical logic (proof theory, constructive mathematics)
- Theoretical computer science (type theory)
Ryota Akiyoshi and Yuta Takahashi, “Reading Gentzen’s Three Consistency Proofs Uniformly”, Journal of the Japan Association for Philosophy of Science, 2013.
Ryota Akiyoshi, “Tait’s conservative extension theorem revisited”, Journal of Symbolic Logic, 2010.
Ryota Akiyoshi, “On a Relationship between Goedel's Second Incompleteness Theorem and Hilbert's Program”, Annals of the Japan Association for Philosophy of Science, 2009.
Listening to Music
Membership of Academic Organization
Philosophy of Science Society Japan
The Association of Symbolic Logic
|2009||The Japan Association for Philosophy of Science Research Award, The Japan Association for Philosophy of Science|
|2014||The Japan Association for Philosophy of Science Research Award, The Japan Association for Philosophy of Science|