Mathematical logic: unfications and diversifications
演讲者
时间
2024年04月01日 17:00 至 17:45
地点
A6-101
线上
Zoom 388 528 9728
(BIMSA)
演讲者介绍
田中一之教授博士毕业于美国加州大学伯克利分校，曾就职于东京工业大学和东北大学，并指导15位博士生和50名硕士生，2022年正式入职BIMSA。他是数理逻辑和计算理论领域的国际知名学者，在反推数学和二阶算术领域开创了新的研究方法，如WKLo的田中嵌入定理和守恒结果的田中公式，取得了一系列奠基性的成果，并将这一研究方向引入日本，将日本的数理逻辑研究推向了世界水平。田中一之教授还致力于模态mu演算，认知逻辑，随机博弈树等交叉领域的研究。