关于描述计算机科学数学对象的形式系统的无矛盾性问题期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

关于描述计算机科学数学对象的形式系统的无矛盾性问题

作者姓名：	侯广坤

作者单位：	中山大学计算机科学系

摘要：	本文证明了〔2〕中提出的系统是无矛盾的.空的系统中的所有公式都是可推出公式.本文找到了不可推出公式.将系统中的公式与命题代数的公式对应,可推出公式必对立真公式,而(?)对应的是原始假公式,从而得到(?)是不可推出的,因而系统是非空(无矛盾)的.
本文献已被 CNKI 等数据库收录！