Ryota Akiyoshi

J-GLOBAL         Last updated: Feb 26, 2018 at 19:29
 
Avatar
Name
Ryota Akiyoshi
Affiliation
Waseda University
Section
Institue for Advanced Study
Job title
Associate professor (without tenure)
Degree
PhD (Philosophy)(Keio University)
Other affiliation
Keio University

Profile

My research fields are philosophy of mathematics and logic, mathematical logic (proof theory), and theoretical computer science (type theory). The main philosophical question in my research is "what is a proof ?".

The origin of modern philosophy of mathematics was the foundational debate in the beginning of 20th century. This debate had involved mathematicians, logicians, and philosophers. After this debate, many philosophical works have been done independently of the modern development of mathematical logic. I'm doing philosophy of logic and mathematics, mathematical logic (proof theory) and theoretical computer science (type theory) in the way that they are essentially related to one another. In particular, by analyzing finitism (Hilbert), intuitionism (Brouwer), and logicism (Frege) by proof-theoretic methods, I would like to find a common base for these seemingly different positions in philosophy of mathematics.

More recently, I'm interested in the formalization of mathematics using Coq or Minlog and in the question "what is a proof ?" from this point of view too. These are based on my philosophical or historical interest in early Husserl's logical philosophy (for example, his "Logische Undersuchungen"). Moreover, I started to work on Gaisi Takeuti's finitism behind his proof theoretic works and cyber security as an application of proof theory.

Research Topics:

(i) Goedel's theorem and Hilbert's program,
(ii) Gentzen's consistency proofs,
(iii) Brouwer's proof of bar induction,
(iv) early Husserl's philosophy of logic,
(v) proof theoretic analysis of Frege's logical system,
(vi) the meaning of logical constants, proof theoretic semantics,
(vii) proof theory of impredicative subsystems of second-order arithmetic, ordinal analysis (cut-elimination, normalization theorem),
(viii) intuitionistic analysis (point-free topology),
(xi) Gaisi Takeuti's finitism,
(x) cyber security as an application of proof theory.

Research Areas

 
 

Academic & Professional Experience

 
Apr 2017
 - 
Today
Associate professor (without tenure), Institute for Advanced Study, Waseda University
 
Apr 2017
 - 
Today
Part-time lecturer, Faculty of Science, Chiba University
 
Apr 2010
 - 
Today
Part-time lecturer, Faculty of Letters, Keio University
 
Apr 2015
 - 
Mar 2017
Assistant professor, Institute for Advanced Study, Waseda University
 
Apr 2014
 - 
Mar 2016
Part-time lecturer, Faculty of Science and Technology, Keio University
 

Awards & Honors

 
Nov 2014
The Japan Association for Philosophy of Science Research Award, The Japan Association for Philosophy of Science
Winner: Ryota Akiyoshi, Yuta Takahashi
 
Oct 2009
The Japan Association for Philosophy of Science Research Award, The Japan Association for Philosophy of Science
 

Books etc

 
Philosophical Logic: Current Trends in Asia – Proceedings of AWPL-TPLC 2016
Ryota Akiyoshi, Yuta Takahashi (Part:Contributor, Contentual and Formal Aspects of Gentzen’s Consistency Proofs (refereed))
Springer Verlag   Nov 2017   ISBN:978-981-10-6354-1
よくわかる哲学・思想
Ryota Akiyoshi (Part:Contributor, 「論理学」)
ミネルヴァ書房   2018   

Published Papers

 
The Upperbound of the Length of the Reductions in a Subsystem of Girard's F
Ryota Akiyoshi
in preparation, 17 pages      2018
“Proofs as Programs” in Parameter-Free Fragments of System F
Ryota Akiyoshi
in preparation, 20 pages      2018
A formalization of Brouwer's Argument for Bar Induction
Ryota Akiyoshi
to be submitted, 13 pages      2017
An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule
Ryota Akiyoshi
The Mints' memorial issue of the IfCoLog Journal of Logics and their Applications   4(4) 867-884   May 2017   [Refereed][Invited]
Ryota Akiyoshi, Kazushige Terui
First International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics   52    Jun 2016   [Refereed]

Misc

 
A uniform idea behind Gentzen’s three consistency proofs (abstract)
Ryota Akiyoshi, Yuta Takahashi
Bulletin of Symbolic Logic   22 382   Sep 2016   [Refereed]
Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction (abstract)
Ryota Akiyoshi
The Bulletin of Symbolic Logic   21 53-54   Mar 2015   [Refereed]
An Interpretation of Brouwer's Argument for Bar Theorem via Infinitary Proof Theory
Ryota Akiyoshi
Abstract Volume of XXIII World Congress of Philosophy   18   2013   [Refereed]
Complete Cut-Elimination Theorem for Ω-Rule (abstract)
Ryota Akiyoshi and Grigori Mints
The Bulletin of Symbolic Logic   18 438   2012   [Refereed]
An Ordinal-Free Proof of the Cut-elimination Theorem for Π11-CA with ω-rule (abstract)
Ryota Akiyoshi and Grigori Mints
The Bulletin of Symbolic Logic   16 293   2011   [Refereed]

Conference Activities & Talks

 
"Proofs as Programs" Revisited
Ryota Akiyoshi
Oberseminar Mathematische Logik (LMU München, Mathematisces Institut)   Feb 2018   
"Proofs as Programs" Revisited [Invited]
Ryota Akiyoshi
"Philosophy of Logic and Mathematics" with special focuses on "Philosophy of Proofs" and the Study of Euclid's Elements   Jan 2018   
Gentle Introduction to the Omega-Rule: Part II
Ryota Akiyoshi
Atelier autour de la théorie de la démonstration (Institut d'histoire et de philosophie des sciences et des techniques, Université Paris)   Sep 2017   
A Formalization of Brouwer's Argument for Bar Induction [Invited]
Ryota Akiyoshi
Workshop “Logic and Philosophy of Mathematics” (Keio University)   Jul 2017   
Gentle Introduction to the Omega-Rule: Part I [Invited]
Ryota Akiyoshi
Conférence de Ryota Akiyoshi (Institut d'histoire et de philosophie des sciences et des techniques, Université Paris)   Mar 2017   

Association Memberships