哥德尔纲领的若干版本

来源 :自然辩证法通讯 | 被引量 : 0次 | 上传用户:vc__
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
哥德尔及后来学者发现的独立性现象是当代数学哲学讨论无法回避的.哥德尔纲领是作为实在论者的哥德尔对独立性现象的回应,体现了对理性的乐观态度.在本文中,作者试图按照乐观的程度,把哥德尔纲领细分为不同的版本.武丁计划被认为是当代集合论研究中对哥德尔纲领最忠实的实践.本文将在上述区分的基础上更清晰地定位武丁计划,并探讨其可能的哲学后承.
其他文献
钓友马师傅已退休多年,为人随和,爱聊天,快人快语,人缘特好,在密云石塘路附近钓鱼的人没有不认识他的,就连十里八村的农民都跟他熟悉。他多年的钓鱼经验和对钓鱼的独特见解
为一大事来rn陶行知是我国近代人民教育家.他有一句名言:“人生天地间,各自有禀赋.为一大事来,做一大事去.”他非常重视国民教育,认为“教育是共和国的保障”,因此,他把毕生
蜜蜂不但能生产食用花粉,而且还能生产活花粉,供许多果树人工授粉之用。多年来,我们在许多果树开花时,收集蜜蜂采回的新鲜花粉团,进行萌发试验,荔枝花粉萌发率为73.33%、龙眼
本文介绍了中医对艾滋病的认识、中医药治疗艾滋病的研究历程以及中医药治疗艾滋病的实践。中医药治疗艾滋病在改善临床症状、治疗机会性感染、减少抗病毒疗法毒副作用、稳定
在中国古代府县制下,将国都的行政官员称为“京兆尹”。1921年7月,民国北京政府以“大总统教令”颁布了《市自治制》,出现近代城市建制——特别市(县级)和普通市(镇级),但为
  肝脏在机体的新陈代谢、消除内源/外源生物异物及解毒等方面起着关键作用.肝酶和膜转运蛋白是这一进程的功能决定因素,包括Phase 0~3反应.这些转运蛋白和酶保护肝细胞免受
会议
朱载堉在1596年出版的《律历融通》岁余篇中介绍了古今岁实消长现象以及历法家损益岁余的方法.通过对原始文献的解读,剖析朱载堉通过间接证明方法检验《授时历》岁余损益值,
野苤菜系百合科葱属粗根组植物,外形象韭菜,具有韭菜兼葱的辛辣香味,当地群众称野蒜苗或野葱。保山地区各县山区都有零星分布。保山市瓦窑区的道人山是野苤菜的集中产地,三
目的探讨宫颈电环切术在治疗宫颈上皮内瘤变(CIN)的疗效及其安全性。方法选取在2009年1月-2011年12月期间某院妇科门诊共诊治CIN患者79例,按照患者手术方法分组,其中行宫颈电
目的:了解小柴胡汤联合干扰素治疗慢性乙型肝炎与单用干扰素比较,在安全性和临床疗效方面的差异. 方法:检索PubMed、CBMdisc、CNKI、VIP、医中志Web,纳入治疗组采用小柴胡
会议