递归论

作品数:26被引量:39H指数:3
导出分析报告
相关领域:理学哲学宗教更多>>
相关作者:郑锡忠杨烈祥宋文坚陈志祥丁龙云更多>>
相关机构:南京大学华中科技大学中南林业科技大学北京大学更多>>
相关期刊:《中国哲学年鉴》《伦理学研究》《江苏大学学报(自然科学版)》《北京航空航天大学学报》更多>>
相关基金:国家自然科学基金湖南省哲学社会科学基金国家高技术研究发展计划中国航空科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
克里斯托弗·哈尔贝希美德本体论的出场与展开
《伦理学研究》2023年第1期117-124,共8页刘雨濛 
克里斯托弗·哈尔贝希系统阐释了美德的概念意涵,并第一次从本体论层面回答了“什么是美德”这一基础性问题,构建了内容丰富的美德本体论。不同于以往美德伦理学家对美德概念的解读,他认为美德不是“有用的性格特征”,而是“具有内在价...
关键词:美德本体论 克里斯托弗·哈尔贝希 美德 内在价值 美德递归论 
哥德尔不完全定理与数学认知的局限性——基于递归论解读哥德尔不完全定理被引量:2
《贵州大学学报(自然科学版)》2018年第3期1-13,共13页许道云 
国家自然科学基金项目资助(61762019)
哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明...
关键词:数学认知 递归论 形式系统 哥德尔不完全定理 
递归论在复杂性组织系统中的应用及方法论意蕴——以VSM模型为例
《自然辩证法研究》2018年第4期108-112,共5页张君弟 
国家社科基金一般项目"中国特色国家治理体系整体优化及协同机制研究"(17BKS039);教育部人文社会科学研究青年基金项目"系统工具视角国家治理体系内部协同机制研究"(16YJC710051);广州市哲学社会科学发展"十三五"规划"系统工具视角广州社会治理模式和机制创新研究"(2017GZMZGJ10)
递归论不仅是设计和描述算法的一种有力工具,也是理解复杂性系统层次性、有机性的一个重要视角。英国系统科学家斯塔福德·比尔提出的VSM模型,将递归引入复杂性组织系统中,把管理对象看作是目的本身而非工具,将组织系统视作为具有递归...
关键词:递归论 复杂性组织 活系统 VSM模型 
亚洲逻辑学国际会议
《中国哲学年鉴》2016年第1期551-551,共1页蛰泰 
2015年1月5~8日在印度孟买举行。会议设6个专题分会,分别是证明论、集合论、模型论、递归论、计算机逻辑和哲学逻辑。清华大学哲学系刘奋荣教授受邀组织哲学逻辑分会,并担任本次会议程序委员评审论文来自中国、印度、日本和台湾地区的4...
关键词:哲学逻辑 模型论 证明论 印度孟买 递归论 集合论 荣教授 哲学系 
语言的生物演化研究——《人类语言演化:生物语言学视角》评介
《中南林业科技大学学报(社会科学版)》2013年第5期171-174,共4页李雯 
任何交际方式的演化研究都要求回答其机制、功能、个体发育和种系发育四个基本问题。语言的物种特征必然要求生物演化解释,唯递归论促进了语言演化研究。《人类语言演化》是递归论的发展和深化,该书围绕唯递归论,分别从语言结构、语言...
关键词:语言演化 生物语言学 唯递归论 
唯递归论的跨语言比较述评被引量:15
《外语教学与研究》2012年第1期54-64,158,共11页杨烈祥 
湖南省哲学社科基金项目"语言递归机制及其生物演化要求研究"(08YBA007);中南林业科技大学重点学科建设项目"外国语言学及应用语言学"(006-001(2011))资助
递归是语言机能的本质属性,语言中局部非递归成分不能改变语言递归的本质属性。语言物种特质必然要求生物演化解释,唯递归论极大促进了语言演化研究。本文在综述有关唯递归论的跨语言比较研究的基础上,指出人类处理自然语言时的存贮策...
关键词:语言机能 唯递归论 跨语言证据 语言演化 
唯递归论及其生物行为比较证据被引量:5
《现代外语》2010年第3期221-229,共9页杨烈祥 
湖南省哲学社会科学项目(编号:08YBA007)的资助
语言递归思想贯穿于转换生成语法的整个发展过程,唯递归论是有关人类语言生物基础的假设,确定了语言生物演化研究方向,肯定了生物比较方法。本文分析了唯递归论的生物演化要求,比较了两个生物行为实验的设计、材料和结果。通过比较和分...
关键词:唯递归论 生物比较 行为证据 语言演化 
机器、思维与信息的哲学考察与莱布尼茨的二进制级数和现代计算机科学的关系被引量:2
《心智与计算》2007年第1期78-87,共10页刘钢 
本文的目的在于给出一个简单的论证,机器本身没有智能,但人有智能,所以机器有助于人类的思维,但是我们应该对"什么是信息"这个问题持非常谨慎的态度,因此不仅需要在科学上而且也需要在哲学上需要进一步进行论证,这就是哲学家不可或缺以...
关键词:机器与思维论证 中国易经中的古算法 递归论对同余式 莱布尼茨的二进制算数 现代计算机科学 
20世纪数理逻辑的概貌被引量:1
《自然辩证法研究》2002年第z1期50-53,共4页李娜 
本文得到普通高等学校人文社会科学重点研究基地基金资助。
这篇文章从历史的视角回顾了20世纪数理逻辑的面貌,并展望了21世纪或者21世纪早期数理逻辑的发展。
关键词:数理逻辑 公理集合论 递归论 模型论 证明论 计算机科学 
论递归方法的实质和普遍意义被引量:6
《楚雄师专学报》2000年第1期119-123,共5页李志昌 
从方法论意义上说,递归方法是一种从简单到复杂、从低级到高级的可连续操作的解决问题的方法。它的每一步骤都是能行可操作的,各步骤之间是连续转换的。递归定义是用简单的、自明的要素描述、构造、说明复杂的整体。递归方法是通过解...
关键词:递归定义 递归证法 实质 递归方法 计算机 递归函数 递归论 
检索报告 对象比较 聚类工具 使用帮助 返回顶部