你现在的位置: 首页 > 新闻中心 > 新闻速递 > 我系王玮老师获批国家自然科学基金面上项目

我系王玮老师获批国家自然科学基金面上项目

发表时间:2019-09-20 | 浏览数: | 作者:

      近期,2019年度国家自然科学基金项目评审结果揭晓。其中,我系王玮老师的《反推数学与可计算分析》项目获批。该项目批准号为11971501;项目资助金额 52万元。

 

      项目概况:反推数学和可计算分析是数理逻辑中非常活跃的两个分支。人们曾认为可以用几个主要的二阶算术公理系统刻画多数数学命题的证明论强度,近年来反推数学的发展改变了这种认识,但对分析学的命题触及不多。不过最近的几项研究给出若干分析学中的新例子,并发现它们的证明论强度不等价于主要的公理系统。本项目的目标之一是沿此方向深入研究,希望从证明论强度的角度揭示更多分析学命题之间错综复杂的关系。我们计划将这项研究与可计算分析联系起来。与反推数学的区别在于,可计算分析从可计算性的角度研究分析学命题的复杂程度。根据反推数学其它问题的经验,我们认为证明论强度和可计算性这两个角度应该有密切联系。最近分析学的反推数学研究以及两位项目团队成员的初步合作都涉及与算法随机性有关的分析学命题,也有涉及一阶算术的模型论。我们也希望通过研究分析学命题的反推数学和可计算分析,能够将反推数学与数理逻辑的其它分支建立更多联系。

 

附:王玮老师简介

 

王玮,2007 年在南京大学取得博士学位,2007-2009 新加坡国立大学博士后,2009 入职lhf乐豪发娱乐平台w88优德官网中文版系和逻辑与认知研究所,2018年以来任教授,主要研究方向是数理逻辑,在数理逻辑和基础数学国际权威期刊上发表多篇学术论文,2017年以来为符号逻辑学会东亚委员会成员,2009年以来承担过两项国家自然科学基金项目(一项青年项目和一项面上项目),2011年教育部新世纪人才计划入选者。