互逆主义数学哲学与计算

• 作者: 周训伟 鲍泓
• 来源期刊: 北京联合大学学报(自然科学版)
• 学科: 数学
• 关键词: 数学哲学 集合论 计算 二层单准Prolog 形式语义
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 基础理论与应用理论
• 页码范围: 35-38
• 页数: 4页
• 分类号: O1-0
• 字数: 3917字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-0310.2005.02.007

摘要

指出数学不是建立在集合论之上,而是建立在人类计数实践之上.经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的.为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用:二层单准Prolog的操作语义和指称语义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鲍泓	北京联合大学信息技术研究所	64	519	12.0	20.0
2	周训伟	北京联合大学信息技术研究所	14	7	1.0	2.0