Doctor of Science
Assistant Professor, Waseda Institute for Advanced Study
[Monthly Spotlight] is forcusing on a researcher to introduce his/her research.
Pursuit of Constructivism in Mathematics Makoto Fujiwara, Assistant Professor
My research field is foundation of mathematics. In particular, my current interest is constructivism in mathematics. Using techniques from proof theory, I am investigating the relationship between uniform provability in reverse mathematics and constructive provability. In association with this, I am also working on the analysis of weak logical principles over intuitionistic arithmetic.
Education and Academic Employment
|2010.3||B. Science, Tohoku University|
|2012.3||M. Science, Tohoku University|
|2015.3||D. Science, Tohoku University|
|2014.4 – 2015.3||JSPS Research Fellow DC2 (Tohoku University)|
|2015.4 – 2016.4||JSPS Research Fellow PD (Japan Advanced Institute of Science and Technology)|
|2016.4 –||Assistant Professor, Waseda Institute for Advanced Study, Waseda University|
Research Fields of Interest
- Foundation of Mathematics
- Mathematical Logic
- Reverse Mathematics
- Constructive Mathematics
- Intuitionistic Logic
- Some principles weaker than Markov’s principle (with H. Ishihara and T. Nemoto), Archive for Mathematical Logic, Vol. 54 Issue 7-8, pp. 861–870, 2015
- Intuitionistic provability versus uniform provability in RCA, Lecture Notes in Computer Science, vol. 9136, pp. 186–195, 2015.
- Classical provability of uniform versions and intuitionistic provability (with U. Kohlenbach), Mathematical Logic Quarterly vol. 61, Issue 3, pp. 132–150, 2015.
- On the strength of marriage theorems and uniformity (with K. Higuchi and T. Kihara), Mathematical Logic Quarterly vol. 60, Issue 3, pp. 136–153, 2014.
Membership of Academic Organization
- The Mathematical Society of Japan
- The Japan Association for Philosophy of Science
- Association for Symbolic Logic