【摘 要】
：
众所周知，哥德尔是一位实在论者。然而，他在构造主义数学方面也有着精深的研究和重要的工作。例如，哥德尔的否定性翻译和《辩证法》翻译。这些方法在现今的数理逻辑研究，尤其是证
【基金项目】
：
教育部人文社会科学研究青年项目——“当代集合论哲学及其对数学基础研究的影响”(13YJCZH226);复旦大学新进青年教师科研起步项目;复旦大学青年教师科研能力提升项目资助
论文部分内容阅读
众所周知，哥德尔是一位实在论者。然而，他在构造主义数学方面也有着精深的研究和重要的工作。例如，哥德尔的否定性翻译和《辩证法》翻译。这些方法在现今的数理逻辑研究，尤其是证明论中有广泛的应用。而本文关心的是这些工作在数学基础和数学哲学方面的价值。我们将介绍、整理哥德尔的这些成果，并试图将它们编制成一幅围剿直觉主义的布阵图。我们也会讨论其中的薄弱之处，并由此碰触哥德尔哲学中一些挣扎而神秘的地方：绝对证明、概念理论和心物关系。
其他文献
正反相融，就是正调腔与反调腔相互融通。这在《龙江颂》中主要体现于二黄腔系，即在二黄唱段中融入反二黄腔句及腔素，或在反二黄唱段中，融入二黄腔句及腔素。（该剧没有反西皮唱段，故
档案文化因为发展起步都比较晚,所以其所具有的价值一直以来都没有被完全的挖掘出来,这是我国档案文化建设体系不健全的主要原因,但是现如今,相关工作人员已经充分认识到了档
本试验研究饲粮非植酸磷(NPP)和植酸酶添加水平对1~21日龄肉鸡生长性能、养分利用、血液指标及胫骨发育的影响,确定微生物植酸酶与无机磷当量关系。试验设计10个处理,每个处
数字信号处理器（DSP）是一种具有特殊结构的微处理器．特别适合于数字信号处理运算，它是当今发展最为迅速和前景最为可观的技术之一。自从20世纪80年代第一片DSP芯片诞生至今，其性能
【正】 儒家思想是绵延两千余年的中国封建社会的统治思想.它牢笼百代,涵盖万端,渗透在政治、经济、文化等各个领域,消融在人们的思想、感情、行为之中.特别是它的伦理、道德
AutoCAD具有完善的图形绘制和编辑功能，但缺少属性信息和图层压盖显示功能，制图信息量少，制图效率较低且地图不够美观。本文探讨在AutoCAD和CorelDraw环境中土地利用图的制作方
档案的建立和发展是人类智慧的结晶,档案记载了人类社会的发展历史,它存储了社会历史文化的发展知识和经验,为人类文化的进步提供了重要的依据,档案信息赋予了档案独特的文化
本文通过对磷生物学利用率的评定及其影响因素的阐述,指出了在实际生产中应充分应用磷生物学利用率体系,来配制满足猪对有效磷需要量的日粮.
由于设计及施工等方面的原因,山西晋煤天源化工有限公司合成氨装置75t/h三废混燃炉投用后运行一直不太稳定,存在引风机能力不足、除尘器除尘效果差、燃烧炉及组合式除尘器出
【正】革命现代京剧《龙江颂》并不属于'八大样板戏'之内。1967年5月25日《人民日报》的社论《革命文艺的优秀样板戏》里提到的样板戏是这几部'首都舞台上正在上