丘奇--图灵论点与认知递归计算假说

来源 :自然辩证法研究 | 被引量 : 0次 | 上传用户:zengyufeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
丘奇——图灵论点与认知递归计算假说郝宁湘提起哥德尔不完备性定理,从事数学哲学、乃至一般哲学研究的人几乎没有不知晓的。然而与其齐名、并同样具有重大数学意义和哲学意义的丘奇图灵论点,知道它的人就少得多了。对它的数学意义和哲学意义给出深刻研究的人就更少了。...
其他文献
以华文写作在线Web教学平台为实例,介绍了螺旋模型速代演化的软件开发过程.阐述了该教学平台的功能模块及设计方案.采用ASP.NET、SQL Server2000等技术以B/S架构方式实现了系统功
目的探讨胸腰椎骨折患者术后发生后凸畸形的影响因素。方法回顾性分析2016年1月—2018年12月五四一总医院收治的完成经伤椎置钉短节段内固定术治疗及术后随访患者120例的临床
新冠疫情期间,中国政府为保障师生“停课不停学”,主导了大规模在线教学实践行动。这种“整建制”线上教学模式携带了完整的线下管理制度(如学籍管理制度、班级管理制度、课
结构调整,亦即经济结构调整,是指对国民经济各要素之间的构成及其相互联系、相互制约关系进行重新组合与优化的过程。目前,结构调整主要包括所有制结构、产业结构、产品结构、企
一、杂草防除技术    田间杂草是影响作物产量的灾害之一,防除杂草是一项艰巨而重要的工作。  1 杂草的危害  主要危害表现为:(1)与作物争光、争水、争肥和争空间。杂草具有密集而庞大的根系,吸水吸肥力极强。例如,生产1kg小麦干物质需水513kg,而猪殃则耗水912kg。很多杂草具有密集的枝叶,严密覆盖地面,与作物争光争空间。(2)一些杂草是病菌害虫的中间寄主和越冬场所。由于杂草的抗逆性强,不少
《庄子》有个有名的故事:南海之帝为儵,北海之帝为忽,中央之帝为浑沌。儵与忽时相与遇于浑沌之地,浑沌待之甚善。儵与忽谋报浑沌之德,曰:“人皆有七窍,以视听食息,此独无有,
杨树是我国的重要造林树种,也是工业用材林和生态防护林主要树种,具有生长快、成材早、产量高、易于更新的特点。
2000年12月25日,中共中央纪律检查委员会第五次全体会议在北京召开。中共中央总书记江泽民在会上发表了重要讲话。中共中央政治局常委、中央书记处书记、中央纪律检查委员会书
瘤胃积食是瘤胃冲蓄积食物过多,造成胃容积扩大和胃壁伸张的疾病,也叫瘤胃食滞症。中兽医称之为宿草不转。1病因1.1原发性瘤胃食滞主要是过食草料造成。如饲喂粗劣和难以消化
樟子松是我国三北地区优良造林树种之一。树干通直,生长迅速,耐寒性强,能忍受-40℃~-50℃低温。旱生,不苛求土壤水分。适应性强,在养分贫瘠的风沙土以及土层瘠薄的山地石砾沙