4556银河国际(集团)股份有限公司

请升级浏览器版本

你正在使用旧版本浏览器。请升级浏览器以获得更好的体验。

学院动态

首页 >> 学院动态 >> 正文

国际数理逻辑著名专家Kazuyuki Tanaka教授访问北航

发布日期:2024-01-22    点击:


近日,应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请,北京雁栖湖应用数学研究院Kazuyuki Tanaka教授为4556银河国际师生做了题为“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守恒。另外,他还在μ演算,认知逻辑,随机对策树等领域有系列工作。

快速链接

版权所有 © 2021  北京航空航天大学 4556银河国际
地址:北京市昌平区高教园南三街9号   电话:61716719