【摘 要】
：
在形式主义学派数学哲学基本主张中,元叙事、基础主义和绝对主义构成了其现代性的思想特质。哥德尔不完全性定理表明,形式化证明对于论证数学真理是不充分的,这构成了拒绝形
论文部分内容阅读
在形式主义学派数学哲学基本主张中,元叙事、基础主义和绝对主义构成了其现代性的思想特质。哥德尔不完全性定理表明,形式化证明对于论证数学真理是不充分的,这构成了拒绝形式主义的主要理由。伴随着基础主义思想的衰落,形式主义的整体数学观走到了其历史发展的终点。
In the basic proposition of mathematical philosophy of formalism school, meta-narratism, basicism and absolutism constitute the ideological qualities of its modernity. Gödel’s incompleteness theorem shows that formal proof is not sufficient for demonstrating the mathematical truth, which constitutes the main reason for rejecting formalism. With the decline of the basicist ideology, the formalistic holistic mathematical concept has come to the end of its historical development.
其他文献
随着时代的不断发展,人们的法律意识逐渐增强,而根据相关调查,我国的离婚率也在连续几年持续呈上涨趋势,在一些大城市中的离婚率甚至接近半数,在这种情况下,对夫妻财产的关联
2012年6月最高人民法院公布的《关于审理买卖合同纠纷案件适用法律问题的解释》中第2条首次承认了预约合同，不但填补了法律在这方面的空白，而且对司法实务有着积极的引导意义。
单纯骗取信用卡的行为不构成犯罪。由于缺乏被害人的交付意思,使用“障眼法”获取信用卡的行为不属于诈骗行为,属于盗窃行为,用此种方法取得信用卡后使用是对他人信用卡的冒
在日常经济活动中,国企工作人员对特定事物负有管理监督权限,即使其没有直接参与盗卖国有资产,也会因为事后获取盗卖行为实施人给予的经济利益而成为贪污犯罪的共犯。其获取
运用挫折—侵犯理论从个人、社会、国际等方面对体育宣泄的安全阀功效进行了分析。让人们重视并利用体育宣泄的安全阀功能,让其为广大人民群众的心理健康和社会的和谐稳定作
和谐社会应该是人与自然长期协调相处的社会。人与自然和谐相处，是构建社会主义和谐社会的重要内容和重要目标。可持续发展就是要求人们发展要建立在人类与自然的生态平衡、可
“为民”要求是践行群众路线教育的出发点，也是群众路线教育的目的。唯有认清“为民”要求的重大意义，把握“为民”要求的深刻内涵，在实践中推进“为民”要求，培养情怀“爱民”，融
2007年,Wang等得到了关于不包含环的DNA标号图的-个结果,在此基础上我们推广到一般有向图上,即任何无孤立点的有向图在友关系下恰有-个等价类的充要条件,并得出几个相应的改
基于复杂网络理论研究含分布式发电(DG,Distributed Generation)的电力网络脆弱度评估问题,有针对性地提出三类脆弱度评估指标,其中基于结构的脆弱度指标能够体现网络拓扑和
针对引起我国科技投入产出效率低下的即包括资源禀赋、自然及经济条件等客观因素,也有政策制定及实施的失误,对于客现条件去改变现状的难度非常的大等因素,创造性的在科技政