Personal Data

  • Birth date: August 18, 1955.
  • Bachelor of Science (Information Sciences), Tokyo Institute of Technology, 1978.
  • Master of Science (Information Sciences), Tokyo Institute of Technology, 1980.
  • Doctor of Philosophy (Mathematics), University of California, Berkeley, 1986.

Research Interest

    Mathematical logic, foundations of mathematics, theory of computation, philosophy of science.

Teaching Positions Held

    Assistant Professor, Dept. of Info. Sci., School of Sci., Tokyo Institute of Technology, 1986 - 1991.
    Associate Professor, Dept. of Math., College of General Education, Tohoku University, 1991 - 1993.
    Associate Professor, Mathematical Institute, School of Science, Tohoku University, 1993 - 1997.
    Professor, Mathematical Institute, School of Science, Tohoku University, 1997 - present.

Managerial Positions Held

    Councilor, Mathematical Society of Japan, 1997-1999.
    Deputy Dean, School of Science, Tohoku University, 2004 - 2006.
    Chairman of Mathematical Institute, Tohoku University, 2008 - 2009.
    Director, Japan Association for Philosophy of Science, 2008 - 2017.
    Councilor, Association for Symbolic Logic, 2013 - 2015.
    Councilor, Mathematical Society of Japan, 2017 - 2018.
    Editor, Annals of Pure and Applied Logic, 2013 - present.

Foreign Institutes Visited

    Pennsylvania State University, U.S.A., October 1990 - July 1991.
    Oxford University, U.K., March 1995 - July 1995.
    Many others.

Supervision of Doctoral Students

  • Matoko Kikuchi, On Goedel's Incompleteness Theorems, Tohoku University 1996.
  • Takeshi Yamazaki, Model-theoretic studies on subsytems of second order arithmetic, Tohoku University 2000.
  • Nobuyuki Sakamoto, Reverse Mathematics and Higher Order Arithmetic, Tohoku University 2005.
  • MedYahya Ould MedSalem, Weak systems of determinacy and inductive definitions, Tohoku University 2006.
  • Keita Yokoyama, Standard and Non-standard Analysis in Subsystems of Second Order Arithmetic, Tohoku University 2008.
  • Chenguang Liu, Computational Aspects of Randomness, Tohoku University 2008.
  • Takako Nemoto, Determinacy of Infinite Games and Reverse Mathematics, Tohoku University 2009.
  • Takayuki Kihara, Effective closed sets and degrees of unsolvability, Tohoku University 2011.
  • Yoshihiro Horihata, Weak subsystems of first and second order arithmetic, Tohoku University 2011.
  • Ahmad Termimi Ab Ghani, Stochastic Games on Graphs, Tohoku University 2012.
  • Keisuke Yoshii, Infinite Games, Inductive Definitions and Transfinite Recursion, Tohoku University 2013.
  • NingNing Peng, Computability and Relative Randomness, Tohoku University 2013.
  • Weiguang Peng, Logical Investigations of Various Games, Tohoku University 2016.
  • Shohei Okisaka, Study on computational models and logical descriptions for classes of finite structures, Tohoku University 2018.
  • Wenjuan Li, Automata-theoretic study on infinite games and fragments of modal mu-calculus, Tohoku University 2018.
    • Kazuyuki Tanaka

      Message From Kazuyuki Tanaka

      This page is not finished yet, but you will find some information about our research activities and several introductory contents on logic.