反推数学相关论文
反推数学是从定理“反推”公理，每一位数学工作者都可利用这一新方法来开启新研究。追本溯源，反推数学是希尔伯特纲领的一种部分实现......
反推数学是现如今数理逻辑领域的一个研究热点。通常的数学研究往往热衷于为某指定命题寻找证明或构造反例;而反推数学与之不同,它......
反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明......
