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

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

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.

## Other Interests

Playing Football

Cycling

Listening to Music

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

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 |