排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
本文在文献[1]基础上,建立递归结构的形式系统,给出判断其语句可判定性的充要条件,并通过语句的范式把可判定性与计算联系起来。 相似文献
2.
3.
4.
本文提出一类代数结构,称为递归结构.在续篇中,将在递归结构基础上建立可解决性理论,并应用于数学问题. 相似文献
5.
§1.绪论我们这里所说的古典谓词演算就是在数理逻辑文献(如Hilbert-Ackermann,Church等)中按习惯称之为狭谓词演算或第一层谓词演算的逻辑演算。这种演算合理地被称为“古典的”,这是因为在其中反映了这样一种逻辑思想,即古典的逻辑推理规则,特别是排中律,在演绎推理中是可以无限制地使用的。这种思想不同于现代直觉主义者的思想,直觉主义者认为,在演绎推理中,古典的逻辑推理规则是不能无限制地使用的。在本文中我们也把古典谓词演算简称为谓词演算。古典谓词演算可以溯源到Frege。以后,经过Schroder, Peano, Russell, Lowenheim, Skolem等学者的研究,特别是经过了Hilbert-Ackermann和Hilbert-Bernays的研究与整 相似文献
6.
1