近日，应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请，北京雁栖湖应用数学研究院Kazuyuki Tanaka教授为北航太阳成集团tyc7111cc师生做了题为“Two topics in reverse mathematics”的学术报告。
Tanaka教授在报告中向大家介绍了反推数学 (Reverse mathematics) 这一领域：寻找尽可能弱的集合存在公理来保证特定数学定理的成立。其中系统WKL0起到了关键的作用。Tanaka教授向大家介绍了系统WKL0的诸多有趣的性质和应用。此外Tanaka教授还介绍了关于Fσ集的布尔组合的决定性的一些新结果。报告结束后，参会者与Tanaka教授进行了热烈的讨论。
报告人简介：Kazuyuki Tanaka，北京雁栖湖应用数学研究院教授，U.C.伯克利大学获得博士学位。他曾在东京工业大学和东北大学任教, 并已指导16名博士，其中有学生被邀在2022年世界数学家大会作邀请报告。他关于2阶算数和反推数学方面的工作最为著名，例如，WKL0理论中的Tanaka嵌入定理和STY定理中的Tanaka守恒。另外，他还在μ演算，认知逻辑，随机对策树等领域有系列工作。
