希尔伯特纲领相关论文
反推数学是从定理“反推”公理,每一位数学工作者都可利用这一新方法来开启新研究。追本溯源,反推数学是希尔伯特纲领的一种部分实现......
阿兰·图灵16岁开始研究爱因斯坦的相对论。1931年,他进入剑桥大学研究量子力学、概率论和逻辑学,这逻辑学是由剑桥大学的怀特海......
2014年10月25–26日,由中国逻辑学会现代逻辑专业委员会主办、北京师范大学哲学与社会学学院承办的"2014年全国现代逻辑学术研讨会"......
反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明......