【摘 要】
:
反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明该定理所必需的公理。事实上,反推数学有着
【基金项目】
:
吉林大学2014年基本科研项目(450060502080)
论文部分内容阅读
反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明该定理所必需的公理。事实上,反推数学有着深厚的哲学背景:其继承和发展了希尔伯特纲领,是一种希尔伯特纲领的部分实现。文章在简要介绍反推数学及其取得的一些重要成果后,进一步从实用主义角度出发,探讨了反推数学的哲学意义及其重要价值。
其他文献
2008年北京奥运会的成功举办,留下了丰富的物质遗产和精神财富,将奥林匹克和体育与北京这座占老而又现代的城市紧密联系在了一起。北京体育赛事的发展,对于北京这座成功举办
在焦炉煤气的综合利用(发电、制氢、甲醇及天然气)的过程中,焦炉煤气净化工序最为关键。简述了一种基于变温吸附工艺的可靠工业化焦炉煤气净化工艺。该工艺可以高精度脱除焦
目的:建立评价苦参质量优劣的指纹图谱分析方法。方法:利用RP-HPLC-DAD法,采用梯度洗脱模式测定了24批苦参样品。样品采用两种溶剂分别提取并分别分析测定,其黄酮类成分测定
辛夷坞作为当代女性情感小说的代表作家,其每部小说虽都以"爱"为主题,但对"爱"的语义阐述各不相同。这源于辛夷坞对"爱"的不同语义的修辞化处理。她笔下的"爱"可以理解为四种
目的:建立离子色谱法测定注射用头孢他啶中碳酸钠的含量。方法:色谱柱为Ionpac CG12A,CS12A阳离子交换柱,淋洗液为18 mmoL.L-1甲烷磺酸,CSRS-ULTRA4 mm自动抑制循环模式,抑制
<正>玻璃池炉鼓泡技术是上世纪五十年代出现的一种强制熔化新技术,经过半个多世纪的发展和不断完善,已经成为现代化的玻璃池炉不可缺少的强制熔化的技术措施之一。我国是从上
目的为了进一步提高我院治疗矽肺合并冠心病的临床疗效,本文就护理干预对矽肺合并冠心病患者治疗依从性的影响进行了研究和探讨。方法选择我院收治的矽肺合并冠心病患者48例,
PICC(peripherally inserted central catheter)是经外周置入的中心静脉长导管,主要用于7天以上中期或长期静脉输液治疗或用于静脉输注高渗性、刺激性药物,导管留置时间可长达
<正>文本中的行走,似西天取经,非有九死一生执着不悔的精神不能开掘出语言的通途,继而发现世界,通达自我;在形象和人格中的探索,却如寻古探幽的历险,穿枝拂叶,步步惊心,需有
【研究背景及目的】小胶质细胞是中枢神经系统的固有免疫细胞,其在维持中枢神经系统微环境的动态平衡中扮演重要角色。近年来,研究认为神经元—小胶质细胞的神经网络失衡与神经