论文部分内容阅读
哥德尔不完全性定理第一次破天荒地分清了数学中"真"与"可证"是两个完全不同的概念,揭示了形式化方法不可避免的局限性。对于偶数哥德巴赫猜想这一未决的数学难题,可以跳出形式化方法的局限性,以一种新的思维去认识它。
以哥德尔不完全性定理认识偶数哥德巴赫猜想
【摘 要】
：
哥德尔不完全性定理第一次破天荒地分清了数学中"真"与"可证"是两个完全不同的概念,揭示了形式化方法不可避免的局限性。对于偶数哥德巴赫猜想这一未决的数学难题,可以跳出形
【机 构】
：
绵阳职业技术学院
【出 处】
：
科技信息
【发表日期】
：
2009年25期
其他文献
目的探讨参芪合剂治疗冠心病慢性稳定型心绞痛(气虚血瘀证型)的有效性和安全性。方法选取2013年4月~2014年7月本院收治的60例冠心病心绞痛(气虚血瘀证型)患者作为研究对象,随
蒙山断裂带是沂沭断裂(郯庐断裂带山东段)西侧的一条北西向断裂,控制着长清-临沂中强地震带,该蒙山断裂带的地应力状态对研究山东中部地震活动的危险性有重要的意义。在蒙山
设计并研制了一种新型压电陶瓷驱动电源。该电源采用高压直流放大器加功率放大器原理,具有良好的动态响应性能,能很好地满足微细电火花加工的伺服要求。
“美是真与善的桥梁”、“美在自由”、“美是无目的性与合目的性的统一”是德国古典美学申的三个基本命题。前者在认识与实践之间发现了独特的情感领域,中者在理论上实现了
用GPC法测定硝化纤维素(NC)分子量及分布时,由于试样聚合度和取代基的多分散性,加以受到各种因素限制,未找到适当的方法以校正分子量与淋洗体积的关系曲线IgM——Ve。本文在
高等法院福隆德运动是以巴黎高等法院为代表的司法系统,对王室政府的反抗事件。这场运动从1648年5月圣路易院集会开始,直至1649年4月《吕埃尔合约》的签订结束,其间巴黎事件
<正>目的探讨阿米福汀皮下注射在鼻咽癌同步放化疗患者中的安全性和有效性。方法60例局部晚期的鼻咽癌患者(UICC2002分期为Ⅲ、Ⅳa和Ⅳb),随机分为试验组和对照组各30例。对
为了在液体火箭发动机试验过程中提升低温气动阀的响应速度,全面定量分析低温气动阀动态特性的影响因素,根据低温气动阀的工作原理,分析了低温气动阀的动态响应时间特性;基于
2006年第9期,本刊推出《少数人的另类时尚:居家天体族》一文的深度报道后,编辑部就经常接到家居裸体爱好者的电话,直至今日,仍然接到他们的来信来电。他们与编辑部交流的目的
目的:观察中西医结合治疗面瘫的临床疗效。方法:采用中西医结合疗法治疗周围性面瘫36例。结果:36例中痊愈25例,有效11例,无效0例,有效率为100%。结论:中西医结合疗法治疗面瘫