>>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 illprepared 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 polynomialtime computable functions, Proof theory of real closed fields, Infinite games and inductive definitions, Nonstandard analysis and second order arithmetic, Algorithmic randomness, and many others.

