不可证明的英文

• unprovability

• "证明"英文翻译    prove; testify; bear out
• "可证明" 英文翻译 :    vindicability
• "可证明的" 英文翻译 :    certifiable; certifiably; evincible; justifiable; provable; vindicable
• "可证明性" 英文翻译 :    vindicability
• "不可证实" 英文翻译 :    unverifiability
• "进口许可证明" 英文翻译 :    certificate of import licence
• "可证明为误的" 英文翻译 :    disprovable
• "不可约证明" 英文翻译 :    irreducible proof
• "不可证券化的" 英文翻译 :    u ecuritizable; unsecuritizable
• "大学入学许可证明" 英文翻译 :    matriculation certificate
• "工程师认可证明" 英文翻译 :    engineer's approval
• "海关许可证明书" 英文翻译 :    customs permit
• "可证明的破产债务" 英文翻译 :    debt provable in bankruptcy
• "可证明为同一的" 英文翻译 :    identifiable
• "可证明为正当的" 英文翻译 :    dvqsti5faiebl also 5dvqstifaiebl dvqste9faiebl
• "可证明无罪的情况" 英文翻译 :    exonerating circumstances
• "可证明性的实验" 英文翻译 :    test for provability
• "特殊设备许可证明" 英文翻译 :    special equipment permit / certificate
• "不可能性证明" 英文翻译 :    impossibility proof
• "协调性的不可证性" 英文翻译 :    the unprovability of consistency
• "出口许可证修改证明书" 英文翻译 :    certificate for alteration of export permit
• "矫形住院医师的认可证明" 英文翻译 :    orthopaedic resident admit note
• "理由；证明；许可证；委托书；凭单；担保" 英文翻译 :    warrant
• "破产中可证明的债务" 英文翻译 :    debts provable in bankruptcy
• "特殊设备操作许可证明" 英文翻译 :    special equipment operator permit / certificate

• Users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity ; chapter 9 on provable intractability , and chapter 10 on advanced topics , including approximation algorithms , alternation , interactive proof systems , cryptography , and parallel computing
  早期版本的读者将惊奇的发现新增的有关复杂性理论的章节：第8章，空间复杂性；第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。