收藏本站
问答
《计算机学报》 1981年06期
作者本人免费下载 | 收藏 | 投稿 | 论文排版

高阶不完全性与超穷不完全性

张锦文   开通知网号
【摘要】： <正> 我们记Kleene[1]所建立的形式数论系统为。对于中任意公式A,我们以A表示A的Gdel数的数词(numeral)。 定义1.我们称中公式P(x)(变元x在P(x)中自由出现,P(x)中无其它变元自由出现)是中可证明性的形式化,如果对于中任...

 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 https://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
违法和不良信息举报电话：400-062-8866
举报邮箱：jubao@cnki.net
©2022中国知网（CNKI）


加载耗时:44ms