bounded universal quantifier
不幸的是, 在戴维斯找到的关联中用到了一个被称为有界全称量词 (Bounded Universal Quantifier) 的逻辑算符。 如果没有这个有界全称量词, 他就可以证明所有的递归可枚举集都是丢番图集, 一切就大功告成了。
基于36个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动