ARAI, Toshiyasu
Title
|
Professor |
Field
|
Mathematical Logic |
Research interests
|
Proof Theory |
Current research
|
In proof theory we are concerned with formal proofs in mathematics. I study mainly ordinal analysis. It is a field in proof theory, in which we associate ordinals with formal theories, thereby we are trying to unravel hidden structures in theories. |
Selected publications
|
|
Memberships, activities and Awards |
The Mathematical Society of Japan Association for Symbolic Logic Japan Association for Philosophy of Science MSJ Autumn Prize(2003)
|