| 互逆主义数学哲学与计算 |
| |
| 引用本文： | 周训伟,鲍泓.互逆主义数学哲学与计算[J].北京联合大学学报(自然科学版),2005,19(2):35-38. |
| |
| 作者姓名： | 周训伟 鲍泓 |
| |
| 作者单位： | 北京联合大学,信息技术研究所,北京,100101 |
| |
| 基金项目： | 北京市建设学科研究基金 |
| |
| 摘 要： | 指出数学不是建立在集合论之上，而是建立在人类计数实践之上。经典数理逻辑是有量词的，而互逆主义数理逻辑没有量词，绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性，给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。
|
| 关 键 词： | 数学哲学 集合论 计算 二层单准Prolog 形式语义 |
| 文章编号： | 1005-0310(2005)02-0035-04 |
| 修稿时间： | 2004年10月14日 |
Mutually-inversistic Philosophy of Mathematics and Computing |
| |
| ZHOU Xun-wei,BAO Hong.Mutually-inversistic Philosophy of Mathematics and Computing[J].Journal of Beijing Union University,2005,19(2):35-38. |
| |
| Authors: | ZHOU Xun-wei BAO Hong |
| |
| Abstract: | Mathematics is not founded on set theory but on the counting practice of human beings.There are quantifiers in classical logic,while there is no quantifiers in mutually-inversistic mathematical logic,and there is no quantifier in the majority of logics as applied to computer systems.In order to show the performability of mutually-inversistic mathematical logic in counting,its application to artificial intelligence is given:the operational semantics and denotational semantics of second level single quasi-Prolog. |
| |
| Keywords: | philosophy of mathematics set theory computing second level single quasi-Prolog formal semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
