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

作　　者：朱水林[1] 

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

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

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

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

分 类 号：O1-0[理学—数学] B81[理学—基础数学]