反推数学相关论文
反推数学是从定理“反推”公理,每一位数学工作者都可利用这一新方法来开启新研究。追本溯源,反推数学是希尔伯特纲领的一种部分实现......
希尔伯特规划的原初目的是为无穷数学辩护,然而为哥德尔不完全性定理所挫。反推数学的根本目标是为数学命题找寻能够证明它的下限......
反推数学是现如今数理逻辑领域的一个研究热点。通常的数学研究往往热衷于为某指定命题寻找证明或构造反例;而反推数学与之不同,它......
反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明......