现代逻辑的几个重要成果以及所涉及的哲学问题(下)

下载PDF

导出

摘要递归论是数理逻辑的一个分支，形成于本世纪30年代。最初的任务是刻划和研究自然数的一切算法函数类。因此递归论被称为研究递归函数类或算法可计算函数类及其应用的学科。图灵机是现代计算机的原型，是一种理想机，尽管它最为简单，但是却琵完成任何大型通用计算扭所能完成的工柞。图灵机对算法概念的计算特征作了深入前刻划。‘

作者朱水林

机构地区上海社会科学院哲学研究所逻辑研究室

出处《自然辩证法研究》 CSSCI 北大核心 1989年第5期61-68,共8页 Studies in Dialectics of Nature

关键词刻划函数类分支数理逻辑自然数算法递归函数图灵机计算机通用计算

分类号 O1-0 [理学—基础数学] B81 [哲学宗教—逻辑学]

引文网络
相关文献

参考文献1

1[美]费吉鲍姆(Feigenbaum,E·A·),[美]麦考黛克(Mccorduck,P·) 著,江致远等.第二次计算机革命和第五代计算机[M]上海翻译出版公司,1985.

1曹婷婷.建立在格L上的广义粗糙近似算子的构造[J].湖北水利水电职业技术学院学报,2013,0(2):49-54.
2郑锡忠.二重递归函数类的一种分层[J].南京大学学报（数学半年刊）,1993,10(1):39-45.
3王继明.计算器在单因素方差分析中通用计算模式探讨[J].四川省卫生管理干部学院学报,1999,18(2):133-134. 被引量：1
4程婷婷,王恒山,刘建国.通用计算网络图聚类系数和环方法[J].计算机科学,2011,38(11):213-215.
5张爱武.关于定义递归函数类的一个等价定理[J].苏州城建环保学院学报,1999,12(4):75-79.
6袁虎廷.澄清计算特征向量的一个问题[J].雁北师范学院学报,2006,22(5):65-66.
7韦金生,方乃芸.(Ⅲ)集合及其符号来历(连载)[J].大学数学,1991,12(4):149-2.
8程钊.算法——它的概念作用和意义[J].枣庄师专学报,1990,7(4):32-38.
9徐鹏辉,顾朝阳.位移法计算特征与算例分析[J].知识经济,2013(9):94-94. 被引量：1
10张寅生,蔡曙山.智能可计算性思想的发展[J].贵州民族大学学报（哲学社会科学版）,2017(1):117-126.

自然辩证法研究

1989年第5期

浏览历史

内容加载中请稍等...

现代逻辑的几个重要成果以及所涉及的哲学问题(下)

参考文献1

相关作者

相关机构

相关主题

浏览历史