【摘 要】
：
图灵的可计算思想有着深刻的思想渊源,莱布尼兹、弗雷格和哥德尔对于人工语言研究的发展皆对图灵的可计算思想有影响。图灵在《论可计算数在判决性问题中的应用》中提到图灵
论文部分内容阅读
图灵的可计算思想有着深刻的思想渊源,莱布尼兹、弗雷格和哥德尔对于人工语言研究的发展皆对图灵的可计算思想有影响。图灵在《论可计算数在判决性问题中的应用》中提到图灵机和通用计算机两个抽象机器,并描述了两种机器的基本结构以及运行方式,其中,通用计算机是现代计算机的原型。图灵的可计算思想从根本上影响了冯·诺依曼,并使得冯·诺依曼建造出人类第一台计算机。图灵对于现代计算机以及机器思维方面的发展所做出的贡献是无法取代的。
其他文献
鹰是彝族神话中重要的意象，亦是彝族史诗《勒俄特衣》中的一个重要意象，鹰在整个彝族文学史中是反复出现的意象，成为了约定性的意象群，具有可交际性和可传播性，本文试用原型批评的
目的分析婴幼儿泪囊炎致病菌和耐药性，为临床合理用药提供依据。方法搜集120例新生儿泪囊炎患者，挤压泪囊部反流的脓汁作为标本，做细菌培养及药物敏感试验。结果新生儿泪囊炎的
在解析道义悖论的过程中，逻辑学家们给出了很多不同的方法，也各自面临着不同的问题。梅耶尔将道义逻辑归约为动态逻辑，并认为这种方法能够很好地消解道义悖论。但阿尔伯特指出，动
护理安全管理是护理管理的主要内容之一,是保障患者患者住院期间术前行大量不保留灌肠时,部分患者会出现心得到优质护理和良好服务的基础,对减少护理不良事件、维慌气短、面
信息化与数字化的快速发展将图书情报和档案管理这两个原本独立的工作逐渐融为一体。在我国,图书情报和档案管理的一体化曾经引起过很大的争论,至今尚未达成共识。然而,图书
随着新媒体时代的到来,基于图像(主要包括图片和视频)的视觉媒介彰显其独特的传播价值,文化研究视域中的"图像时代"与"图像转向"暗示着图像与文化传播之间的潜在聚能与张力。
心理健康教育和思想政治教育是素质教育的两个重要方面,厘清二者的关系是促进二者在实践中整合的前提和基础,二者的有机结合能产生教育合力,对于提高大学生的思想政治素质和
对国内应用逻辑学的历史发展脉络、最新研究动态和未来发展策略进行综合性研究。梳理了国内应用逻辑学的历史发展脉络,分为研究萌芽期、理论探索期、稳步发展期和总体深化期,
本文试图从霍夫斯泰德的文化维度模式出发对电影《安娜与国王》中体现的个体主义与集体主义、权力距离、不确定规避以及男性化社会与女性化社会四个方面进行分析,找出彼时东
本文通过对美国华裔女作家汤亭亭创作主题的分析，解读和平主义思想在汤亭亭作品中的彰显，以及反对战争、倡导和平的主题，在其创作过程中是如何由隐晦走向凸现、由客观的再现而转