{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,4,4]]，“日期时间”：“2022-04-04T22:11:13Z”，“时间戳”：1649110273639}，“引用-计数”：0，“发布者”：“EasyChair”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“摘要”：“我们公式化并证明了两个Rice样定理<\/jats:p>这些特性限制了属性的可命名性在部分函数的给定命名方案中<\/jats:p>这样的命名方案可以但不一定是可执行的形式主义<\/jats:p>编程语言是可执行命名方案的一个示例，<\/jats:p>其中程序文本命名它实现的部分函数<\/jats:p>暂停是属性<\/jats:p>的一个示例在该命名方案中无法命名<\/jats:p>证明揭示了命名方案的要求使特征化工作。<\/jats:p>通用编程语言满足这些要求，<\/jats:p>但其他形式也能满足它们<\/jats:p>我们介绍了一些非通用编程语言和非执行规范语言满足这些要求<\/jats:p>我们的定理有<\/jats:p>图灵著名的暂停定理和赖斯定理作为特例，<\/jats:p>通过将它们应用于通用编程语言或图灵机作为命名方案<\/jats:p>因此，我们的证明分离了命名方案的性质（这可以但不必与可计算性相一致）<\/jats:p>这进一步说明了“对角线”论点本身有多么深远和简单<\/jats:p>“，”DOI“：”10.29007\/jnl6“，”type“：”procesdings-article“，”created“：{”date-parts“：[[2018,1,23]]，”date-time“：”2018-01-23T17:57:36Z“，”timestamp“：1516730256000}，”source“：作者“：[{”给定“：”Cornelis“，”family“：”Huizing“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“Ruurd”，“family”：“Kuiper”，“sequence”：“additional”，“affiliance”：[]{，”given“：”Tom“，”家人“：”Verhoeff“，”序列“：”additional“，”从属关系“：[]}”，“member”：“11545”，“event”：{“name”：“Turing-100。Alan Turing Centenary“｝，“容器标题”：[“计算中的EPiC系列”]，“原始标题”：[]，“存放”：{“日期部分”：[[2018,1,23]]，“日期时间”：“2018-01-23T17:57:44Z”，“时间戳”：1516730264000｝，“分数”：1，“资源”：{“主要”：{“URL”：“https://easychair.org/publications\\paper\\QNGJ”}}，“副标题”：[]，“短标题”：[]，“已发布”：{date-parts“：[[null]]}，”references-count“：0，”URL“：”http://\/dx.doi.org\/10.29007\/jnl6“，”relation“：{}，“ISSN”：[“2398-7340”]，“ISSN-type”：[{“value”：“2398-8340”，“type”:“print”}]，“subject”：【]}