【摘 要】
：
图灵指出：“我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣……人与这些机器的交流的语言构成了一种符号逻辑。”图灵所暗示的就是：程序设计语言不过是一种逻辑语言，而
【机 构】
：
中山大学逻辑与认知研究所教授、博士生导师
论文部分内容阅读
图灵指出：“我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣……人与这些机器的交流的语言构成了一种符号逻辑。”图灵所暗示的就是：程序设计语言不过是一种逻辑语言，而程序（或称算法）不过是用该语言表示的一列推理规则。蒯因也曾写道：“证明理论中的基本概念与机器计算理论中的基本概念相一致……（使得）关于数学证明的纯理论与关于机器计算的技术理论在底部合二而一。”但是，逻辑和计算究竟是如何关联的？本文主要从逻辑学演进的角度探讨这一问题，并简要介绍我们的相关工作。
其他文献
几个世纪以来,对于死刑这个罪行,往往是基于对犯罪嫌疑人的生命权的剥夺而为的,因而关于对于这类罪行的法律和刑法死刑限制的探讨也一直是社会大众关注的焦点。整个几百年来,
急性心肌梗死(AMI)死亡率很高,典型诊断并不困难.但有一些不典型的AMI患者,不出现胸痛,心电图也不出现Q波,诊断就有难度.
绘画是人类最古老的艺术形式之一。20世纪以来,随着计算机技术的飞速发展,数位板与各种绘图软件的出现赋予了绘画艺术全新的形式,数码绘画由此诞生。视觉文化产品的大众消费
校企合作大背景下,动漫设计专业学生在顶岗实践中取得了不少收获,但也遇到了一系列的问题,本文初步归纳了这些问题,分析了成因,希望广大院校、企业界的同行积极回应,献计献策
氯化钾注射液是临床中应用广泛的药物，主要治疗各种原因引起的低钾血症，在老年病房主要治疗各种原因引起的低钾血症，2008年9月我科发现1例氯化钾注射液过敏反应患者，现报告如下。
依据与中小学建筑电气施工图设计紧密相关的现行国家及行业规范标准,介绍了在中小学建筑电气设计中经常遇到的问题,包括变配电所的位置的选择、负荷级别和电压等级确定、配电
Fairbanks将收缩蛋白分为两个组分:收缩蛋白Ⅰ(分子量240,000);收缩蛋白Ⅱ(分子量220,000)。在生理状态下,由于提取条件不同,其分子量也有差异。目前发现某些溶血性疾病(如
随着网络的不断发展和生活节奏的加快,许多消费者开始利用网络来进行购买信息的搜集,减少购买决策时间。各种购物网站、口碑网站和产品论坛应运而生,其中包含的大量产品信息
图论是应用数学的一个分支,而图的染色问题一直是图论的重要问题之一。用图论中染色的知识建立＂化学制品存放＂问题的数学模型。
为了提高电磁型欠压脱扣器的可靠性,在评估现有设计方案不足的基础上,通过优化主回路结构,提出了一种新的高可靠性电磁型欠压脱扣器设计方案。结合这种新方案,对主回路、单片