Brief History
 Career Design

Faculty Member 

>>List by Field >>Research Fellowship for Young Scientists  >>Professor Emeritus
Tanaka Kazuyuki , Professor

Research field
My research interests are logic and foundations of mathematics, specifically computability theory and reverse mathematics. Computability theory is a big branch of mathematical logic, originated with two geniuses Goedel and Turing, in which one endeavors to stratify the sets of natural numbers by way of relative computability. Reverse mathematics is a foundational study whose aim is to determine which axioms are necessary and sufficient to prove theorems of ordinary mathematics. These two fields share many ideas and techniques, and recently they have been developed together for mutual harmony.

Advice for the graduate study
Only few universities in Japan provide proper undergraduate courses on mathematical logic. Thus, special knowledge of logic is not formally presupposed to enter our graduate program. However, it is indeed very difficult for an ill-prepared student to complete a master thesis within two years or so. So, if you are interested to study logic with me at Tohoku, you are strongly advised to consult me or other professional logicians as soon as possible. Be prepared and have no regrets.

Previous Topics of master and doctoral theses
Model theory of Peano arithmetic, Formal systems of polynomial-time computable functions, Proof theory of real closed fields, Infinite games and inductive definitions, Nonstandard analysis and second order arithmetic, Algorithmic randomness, and many others.

Tohoku University
Faculty of Science

Division of Mathematics
Information Science