心灵即计算:哲学,逻辑和实践

来源 :计算机科学 | 被引量 : 0次 | 上传用户:a630939408
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域。在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上,我们首次以Church-Turing-Deutsch原理为基础来使Church-Turing论题与实际的物理系统联系起来,从而使本文的结论与量子计算相适合,也使可计算概念与物理学理论相协调,而这正是由Church-TUring论题所定义的可计算概念所没有的地方。还讨论了认知逻
其他文献
根据智能夹层思想和真实航空飞行器结构特点,研究了面向航空结构健康监测的压电夹层技术,并将该技术应用到了某无人机机翼盒段结构健康监测验证实验中。实验结果表明:压电夹层工
通过分析采用传统访问控制的电子病历系统存在的不足,提出了一种使用新一代访问控制模型——使用控制模型(UCON,usage control)思想的电子病历系统,并给出了具体的访问控制策略
通过分析传统的通信量整形算法中由数据缓冲引入的延迟抖动问题,提出了一种基于抖动约束的通信量整形算法。在整形过程中,延迟是由数据缓冲的充满程度和令牌输出速率决定的。通
视觉目标类识别是计算机视觉研究领域中的最具挑战性的难题之一,目前仍有许多问题没有得到很好的解决。近年来提出的空域金字塔直方图特征表示,在描述特征点集分布属性方面取得了比较好的实验效果。但是由于其描述的信息不全面,在性能上仍有较大改进余地。从信息互补性角度出发,提出了基于多信息融合的集成策略,将空域金字塔直方图表示与费舍分数表示各自描述的优势相结合,用于视觉目标类识别。实验证明该策略是有效的,在所进
由于Internet只提供尽力而为服务,其随机、不确定的延时,不能保证基于Internet的远程NCS实时性等QoS要求,使得控制系统的稳定性很差。在IP网传统分布式QoS路由策略的基础上,提出
非真实感绘制场景中客体明暗色调的合理性和协调性直接影响到最后生成画面的效果。对双光源环境下非真实感绘制场景中客体色调的获取方法进行研究,提出一种双光源下基于"小球法"的色调信息提取方法,该方法假设场景中的客体表面均匀覆盖了一层大小相同的小球,相邻的两个小球间保持近似相切状态,通过计算每一个小球在双光源状态下被其它小球遮挡的程度来确定该小球中心位置的明暗信息,以及每一个小球在双光源环境下所在位置的近
传统的移动Ad Hoe网络匿名路由协议无法鉴别伪造的路由控制分组,并且公钥运算过多导致路由建立时间延长。提出一种基于邻居认证的安全匿名路由协议以解决上述问题,通过基于临时
授权模型是协作环境中不可缺少的关键部件,为协作系统提供合适的授权机制很具挑战性。直接应用于协作系统的传统访问控制模型对多用户之间的协作支持不够,一些协作相关的访问控
目前,在无线电监测工作中小型监测站以其成本低、体积小、便于维护等众多优势得到广泛应用,已逐渐成为行业趋势。但是,众多小型监测站目前仅具备监测功能,不具备测向功能,给
关注点分离可追溯到柏拉图对整体与部分关系的思考。作为基本的系统化计算思维原则,关注点分离体现在问题求解、算法设计、软件设计、软件架构描述、软件开发过程等诸多方面