• HOME
  • WASEDA UNIVERSITY TOP
  • Contact Us
  • Directions
  • Sitemap
  • JAPANESE
Loading
  • facebook
  • twitter
  • About us
  • Projects
  • People
  • Events
  • Publications
  • Networks
  • Applications

Researchers / Ryota Akiyoshi

Ryota Akiyoshi

  • Ph.D(Philosophy)
  • Assistant Professor, Waseda Institute for Advanced Study

Research Topics

My research fields are philosophy of mathematics (or logic) and mathematical logic (proof theory). I am interested in logical philosophy of infinity, in particular, in Hiblert’s finitism and Brouwer’s intuitionism.
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)

Academic Publications

  1. Ryota Akiyoshi and Yuta Takahashi, “Reading Gentzen’s Three Consistency Proofs Uniformly”, Journal of the Japan Association for Philosophy of Science, 2013.

  2. Ryota Akiyoshi, “Tait’s conservative extension theorem revisited”, Journal of Symbolic Logic, 2010.

  3. 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.

Other Interests

Playing Football
Cycling
Listening to Music

Membership of Academic Organization

The Japan Association for Philosophy of Science
Philosophy of Science Society Japan
The Association of Symbolic Logic

Honors

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

PAGE TOP