论文部分内容阅读
谈到哥德尔不完全性定理，有人说它动摇了逻辑基础①，也有人说它揭示了逻辑的局限性（Daw—son），甚至有人认为它表明数学的一致性不能证明（克莱因，第263—270页）。这些说法是否有充分的根据？本文仔细考察了哥德尔不完全性定理的涵义，试图对这些说法进行辩驳。
不完全性与形式语言
【摘 要】
：
谈到哥德尔不完全性定理，有人说它动摇了逻辑基础①，也有人说它揭示了逻辑的局限性（Daw—son），甚至有人认为它表明数学的一致性不能证明（克莱因，第263—270页）。这些说法是否有充分的根据？本文仔细考察了哥德尔不完全性定理的涵义，试图对这些说法进行辩驳。
【机 构】
：
清华大学哲学系博士生
【出 处】
：
哲学研究
【发表日期】
：
2007年12期
其他文献
篮球场上,中锋多伤病,乃是恒久不变的真理。盖因中锋统治篮下——所谓的兵家必争之地——肌肉冲撞和机体损耗自然远远大过其他位置的球员,相应的,受伤几率也就高出许多。 NBA
甲醇分解产物作车用燃料,完全取代汽油是代用燃料领域中较为活跃的课题之一.本文采用 CDS-810微型反应装置,对镍系甲醇分解用催化剂进行了评价和筛选,着重改进其应用性能和寿
当代对艺术表演舞台灯光设计的定义是:舞台灯光设计是遵循舞台艺术表演的规律和特殊作用要求进行配置的,其目的在于将各种表演艺术再现过程所需的灯光工艺设备,按系统工程进
本文研究了(Fe,Cr)_3O_4催化剂的表面酸性,发现其表面结构具有可变性,表面主要存在Fe~(2+)(α位)和Fe~(3+)(β位)两种酸中心,β位上吸附吡啶的E_d=278.8±13.8 kJ/mol。
金在地壳中的丰度很低,平均值为4ppb;具有工业开采价值的金矿,通常也只含有xppm的金,而且金在样品中的分布很不均匀。为了提高测定方法的灵敏度以及所取的样品具有足够的代
当前旅游行业的快速发展,带动了地区经济的发展,对于长春市作为重要的省会城市,其旅游发展也是十分可观的,其环城游憩带的发展模式已经初步形成,很多学者也对其进行了研究,其
甲基叔丁基醚(MTBE)通常是利用混合C_4中的异丁烯与甲醇进行醚化反应来制取。它具有重要的经济价值。因为它是制无铅汽油用的一种添加剂,又可裂解生成异丁烯,成为化工有机合
随着计划经济体制向社会主义市场经济体制的转变,对发挥中心城市作用提出了新的要求,近日,国家决定取消武汉、广州、西安、哈尔滨、南京、成都、长春等8个省会中心城市计划
脱脂棉用氢氧化钠处理变成碱纤维,再经二硫化碳作用生成黄原酯棉(ccx)。Ccx在1—10％的稀王水介质中可定量地吸附金离子而与大量的Fe、sb、cu等基体元素分离,含金的黄原酯棉用