Toshiyasu Arai

Toshiyasu Arai é um proeminente matemático japonês com especialização em teoria da prova e análise ordinal. Ele obteve seu doutorado na Universidade de Tsukuba, onde sua pesquisa se concentrou em uma extensão das provas de consistência de G. Takeuti. Ao longo de sua carreira, Arai ocupou cargos acadêmicos em diversas universidades japonesas de prestígio, incluindo a Universidade de Nagoya, a Universidade de Hiroshima, a Universidade de Kobe, a Universidade de Chiba e a Universidade de Tóquio. Sua pesquisa é focada na teoria da prova, com ênfase particular na análise ordinal, que explora o conteúdo ordinal de teorias formais. Arai é autor do livro "Ordinal Analysis with an Introduction to Proof Theory", publicado em 2020, que serve como um guia abrangente sobre análise ordinal e teoria da prova.