共查询到8条相似文献,搜索用时 15 毫秒
1.
2.
3.
1936年,一个年轻的英国小伙子——阿兰·图灵向伦敦权威的数学杂志投了一篇论文,题为《论数字计算在决断难题中的应用》。在这篇开创性的论文中,图灵给“可计算性”下了一个严格的数学定义,并提出著名的“图灵机”(Turing Machine)的设想。 相似文献
4.
5.
王佳 《科学技术与辩证法》2010,27(5):36-40
“中文屋”思想实验蕴涵的论证结构是其有效性的根本保证,而基于“语法不等同于语义”,“模拟不等同于复制”两个逻辑真理,又可以从中分离出两种论证形式:逻辑论证和经验论证,它们分别支撑“中文屋论证”的两个要点。文章试图对“中文屋”两种论证形式进行考察,证明它在批判强人工智能上的有效性,同时揭示两种论证形式之间存在的不融贯问题。 相似文献
6.
7.
<正>在裂缝性油藏开发过程中,基质岩块与裂缝之间存在着窜流。窜流系数就是用来描述这种基质间流体交换的物理量,它反映了基质中流体向裂缝窜流的能力。对于求解窜流系数的方法主要是通过建立双重介质模型,并与试井分析理论相结合来确定。而本文通过建立窜流实验测试理论设计出实验仪器,开展室内窜流实验,求得不同岩心的形状因子及窜流系数。 相似文献
8.
王飞 《科学技术与辩证法》2014,(4):54-59
《哲学与技术:论历史与批判及资产阶级“技术哲学”的前提与功能》一书是原东德著名学者沃尔尕斯特与班瑟合著的一本技术哲学著作,此书因其独特的马克思主义立场而相当具有代表性,至今仍得到技术哲学界的高度评价。文章试图打破著作原有的结构以问题为纲对其进行简要的梳理和分析,以期展示一个认识与对待现当代西方技术哲学的“新”视角,引发国内学者对西方技术哲学地深入认识和反思。 相似文献